IndetSymbols -- the names of the indeterminates in a PolyRing |
Syntax |
IndetSymbols(P: RING): RECORD |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ indent(IndetSymbols(R)); [ record[head := "x", indices := []], record[head := "y", indices := []], record[head := "z", indices := []] ] /**/ use R ::= QQ[a, x[1..3]]; /**/ indent(IndetSymbols(R)); [ record[head := "a", indices := []], record[head := "x", indices := [1]], record[head := "x", indices := [2]], record[head := "x", indices := [3]] ] |
See Also |