[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: ^-1  ..  {@@}


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