| |
| | Functions for Polynomial Algebra and Module Generators |
 | | B is sequence of length l of booleans such that for 1 <= i <= l, B[i] is true iff L[i] is in the module M. V is a sequence of length l consisting of sequences of length r and consisting of polynomials in the polynomial ring T=K[t_1,..., t_r]. |
 | | Again, this function is most often used with an invariant ring: P is the sequence of primary invariants, S is the sequence of secondary invariants, and L is a sequence of general invariants which one wishes to express in terms of the module generators S over the algebra generated by P. |
 | | Also, if one wishes to just test for membership in the algebra A=K[p_1,..., p_k], the sequence [R!1] should be passed for S. HomogeneousModuleTestBasis(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ] |
| www.umich.edu /~gpcc/scs/magma/text854.htm (409 words) |
|