IndetName |
Syntax |
IndetName(X:INDET):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 |