[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: ^-1 .. {@@}
A ^-1 : MtrxSprs, RngIntElt -> MtrxSprs
g ^:= h : GrpGPCElt, GrpGPCElt ->
g ^:= h : GrpPCElt, GrpPCElt -> GrpPCElt
a ^:= k : RngElt, RngIntElt -> RngElt
u ^:= n : GrpBrdElt, RngIntElt ->
g ^:= n: GrpGPCElt, RngIntElt ->
g ^:= n: GrpPCElt, RngIntElt -> GrpPCElt
u ^:= v : GrpBrdElt, GrpBrdElt ->
_ := expression;
r`fieldname := expression;
S`fieldname := expression;
r`fieldname : Rec, Fieldname -> Elt
S`fieldname : Str, Fieldname -> Elt
{! x in F | P(x) !}
{@ e1, e2, ..., en @} : Elt, ..., Elt -> SetIndx
{@ @} : Null -> SetIndx
{@ U | @} : Str -> SetIndx
{@ U | e1, e2, ..., em @} : Str, Elt, ..., Elt -> SetIndx
{@ e(x) : x in E | P(x) @}
{@ U | e(x) : x in E | P(x) @}
{@ e(x1,...,xk) : x1 in E1, ..., xkin Ek | P(x1, ..., xk) @}
{@ U | e(x1,...,xk) : x1 in E1, ...,xk in Ek | P(x1, ..., xk)@}
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012