Macaulay2 Engine
Loading...
Searching...
No Matches
SchreyerOrder_symm Struct Reference

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)
SchreyerOrdervalue ()

Public Attributes

const SchreyerOrderS
int n
const MonoidM
SchreyerOrdersymm1_result
monomial symm1_base
int symm1_next

Detailed Description

Helper functor that builds the n-th symmetric power of a SchreyerOrder by walking multi-indices.

Note
AI-generated documentation. Verify against the source before relying on it.

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.


The documentation for this struct was generated from the following file: