IndetName |
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 |