koszul: use 3tri in bigraded-triple
parent
79f19bfe95
commit
94756c189e
|
@ -265,9 +265,10 @@ DEFER: (d)
|
||||||
|
|
||||||
: bigraded-triple ( u-deg z-deg bigraded-basis -- triple )
|
: bigraded-triple ( u-deg z-deg bigraded-basis -- triple )
|
||||||
#! d: C(u,z) ---> C(u+2,z-1)
|
#! d: C(u,z) ---> C(u+2,z-1)
|
||||||
[ >r >r 2 - r> 1 + r> ?nth ?nth ] 3keep
|
[ [ 2 - ] [ 1 + ] [ ] tri* ?nth ?nth ]
|
||||||
[ ?nth ?nth ] 3keep
|
[ ?nth ?nth ]
|
||||||
>r >r 2 + r> 1 - r> ?nth ?nth
|
[ [ 2 + ] [ 1 - ] [ ] tri* ?nth ?nth ]
|
||||||
|
3tri
|
||||||
3array ;
|
3array ;
|
||||||
|
|
||||||
: bigraded-triples ( grid -- triples )
|
: bigraded-triples ( grid -- triples )
|
||||||
|
|
Loading…
Reference in New Issue