IndetName -- the name of an indeterminate |
Syntax |
IndetName(X: RINGELEM): STRING |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ IndetName(indet(R, 2)); y /**/ type(It); STRING /**/ use R ::= QQ[a, x[1..3]]; /**/ IndetName(Indet(R, 2)); x /**/ indent(IndetSymbols(R)); [ record[head := "a", indices := []], record[head := "x", indices := [1]], record[head := "x", indices := [2]], record[head := "x", indices := [3]] ] |
See Also |