tst.lib
constant
tst_system
type
type
list
→
(
string
→
returntype
)
constant
tst_ignore
type
type
list
→
returntype
constant
Get_tst_timer
type
type
returntype
constant
Set_tst_timer
type
type
int
→
returntype
constant
GetTstStatusFile
type
type
returntype
constant
tst_status_out
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
tst_status
type
type
list
→
returntype
constant
tst_init
type
type
list
→
returntype
constant
tst_InitTimer
type
type
list
→
returntype
constant
tst_StopTimer
type
type
returntype
constant
tst_GetTimer
type
type
returntype
constant
tst_ReportTimer
type
type
list
→
returntype
constant
tst_OutTimer
type
type
list
→
(
int
→
returntype
)
constant
tst_groebnerTest
type
type
list
→
(
ideal
→
returntype
)
constant
tst_stdEqual
type
type
ideal
→
(
ideal
→
returntype
)
constant
idPrintShort
type
type
string
→
(
ideal
→
returntype
)
constant
tst_test_res
type
type
list
→
(
ideal
→
returntype
)
constant
tst_rgen_init_weights
type
type
int
→
returntype
constant
tst_rgen_init_matrix
type
type
int
→
returntype
constant
tst_rgen_generate_block
type
type
int
→
(
string
→
(
int
→
returntype
)
)
constant
tst_rgen_generate_blocks
type
type
intvec
→
(
list
→
(
int
→
returntype
)
)
constant
tst_rgen_generate_product_orderings
type
type
intvec
→
(
intvec
→
(
list
→
(
int
→
returntype
)
)
)
constant
tst_rgen_init
type
type
returntype
constant
tst_next_ring
type
type
returntype
constant
tst_FullIdeal
type
type
returntype
constant
tst_cyclic
type
type
int
→
returntype
constant
tst_hom_cyclic
type
type
int
→
returntype
constant
tst_TestMult
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
tst_TestAdd
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
tst_PrintStats
type
type
def
→
returntype