rstandard.lib
constant orderIdeal
constant border
constant coneM
constant maxO
constant borderBasis
constant modBorder
constant rJanet
constant modJanet
constant minimizeS
constant finalTest_std_new