|
Macaulay2 Engine
|
Helper functor that builds the n-th symmetric power of a SchreyerOrder by walking multi-indices. More...
Public Member Functions | |
| void | symm1 (int lastn, int pow) |
| SchreyerOrder_symm (const SchreyerOrder *S0, int n0) | |
| SchreyerOrder * | value () |
Public Attributes | |
| const SchreyerOrder * | S |
| int | n |
| const Monoid * | M |
| SchreyerOrder * | symm1_result |
| monomial | symm1_base |
| int | symm1_next |
Helper functor that builds the n-th symmetric power of a SchreyerOrder by walking multi-indices.
SchreyerOrder analogue of FreeModule_symm: symm1(lastn, pow) walks every weakly increasing index sequence of length pow starting at lastn, accumulates each sequence's base-monomial product in symm1_base, and appends the resulting Schreyer-order entry to symm1_result, assigning a fresh compare_num via symm1_next.
Definition at line 263 of file schorder.cpp.