bigraded-triple ( u-deg z-deg bigraded-basis -- triple )


Vocabulary
koszul

Inputs
u-degan object
z-degan object
bigraded-basisan object


Outputs
triplean object


Definition


: bigraded-triple ( u-deg z-deg bigraded-basis -- triple )
[ [ 2 - ] [ 1 + ] [ ] tri* ?nth ?nth ] [ ?nth ?nth ]
[ [ 2 + ] [ 1 - ] [ ] tri* ?nth ?nth ] 3tri 3array ;