bimodules.lib
constant
testbimoduleslib
type
type
returntype
constant
bistdIdeal
type
type
ideal
→
returntype
constant
bistd
type
type
module
→
returntype
constant
enveltrinityIdeal
type
type
ideal
→
returntype
constant
Zersubcols
type
type
int
→
(
matrix
→
returntype
)
constant
enveltrinity
type
type
module
→
returntype
constant
bitrinityIdeal
type
type
ideal
→
returntype
constant
bitrinity
type
type
module
→
returntype
constant
liftenvelope
type
type
poly
→
(
module
→
returntype
)
constant
twoComp
type
type
poly
→
returntype
constant
firstComp
type
type
poly
→
returntype
constant
CompDecomp
type
type
poly
→
returntype
constant
getOneComp
type
type
poly
→
returntype
constant
isPureTensor
type
type
poly
→
returntype
constant
isTwoSidedGB
type
type
ideal
→
returntype