Index other

!

R ! a : AlgChtr, RngIntElt -> AlgChtrElt

A ! e : AlgFP, MonFPElt -> AlgFPElt

A ! Q : AlgGen, SeqEnum[RngElt] -> AlgGenElt

A ! g : AlgGrp, GrpElt -> AlgGrpElt

S ! 1 : AlgGrpSub -> Grp

R ! g : AlgMat, GrpMatElt -> RngMatElt

R ! 1 : AlgMat, RngIntElt -> AlgMatElt

R ! Q : AlgMat, [ RngElt ] -> AlgMatElt

C ! [a_1, ..., a_n] : Code, [ FldFinElt ] -> ModTupFldElt

C ! e : Cop, Elt -> CopElt

E ! [x, y, z] : CurveEll, [RngElt] -> CurveEllPt

K ! a : FldCyc, RngIntElt -> FldCycElt

K ! [a_0, ..., a_m - 1] : FldCyc, [FldCycElt] -> FldCycElt

K ! a : FldFun, RngElt -> FldFunElt

F ! [a, b] : FldFun, RngPolElt, RngPolElt -> FldFunElt

K ! a : FldNum, RngIntElt -> FldNumElt

F ! [a_0, a_1] : FldQuad, [FldRatElt] -> FldQuadElt

Q ! [a, b] : FldRat, RngIntElt, RngIntElt -> FldRatElt

R ! a : FldRe, RngElt -> FldReElt

G ! g : Grp, GrpElt -> GrpElt

G ! Q : Grp, [ Elt ] -> GrpElt

G ! g : GrpAb, GrpAbElt -> GrpAbElt

A ! [a_1, ... ,a_n] : GrpAb, [RngIntElt] -> GrpAbElt

G ! g : GrpBB, GrpBBElt -> GrpBBElt

G ! [ i_1, ..., i_s ] : GrpFP, [ RngIntElt ] -> GrpFPElt

E ! { u, v } : GrphEdgeSet, . -> GrphEdge

V ! v : GrphVertSet, . -> GrphVert

G ! Q : GrpMat, [ RngElt ] -> GrpMatElt

G ! g : GrpPC, GrpPCElt -> GrpPCElt

G ! Q : GrpPC, [RngIntElt] -> GrpPCElt

G ! g : GrpPerm, GrpPermElt -> GrpPermElt

G ! Q : GrpPerm, [ Elt ] -> GrpPermElt

B ! S : IncBlkSet, SetEnum -> IncBlk

P ! x : IncPtSet, Elt -> Incpt

L ! 0 : Lat, RngIntElt -> LatElt

L ! Q : Lat, [ RngElt ] -> LatElt

H ! f : ModMatRng, Map -> ModMatRngElt

M ! Q : ModMatRng, [RngElt] -> ModMatRngElt

M ! Q : ModMPol, [ RngElt ] -> ModMPolElt

V ! 0 : ModTupFld, RngIntElt -> ModTupFldElt

V ! Q : ModTupFld, [RngElt] -> ModTupFldElt

M ! Q : ModTupRng, [RngElt] -> ModTupRngElt

L ! [a, b, c] : PlaneLnSet, SeqEnum -> PlaneLn

V ! [a, b, c] : PlanePtSet, SeqEnum -> PlanePt

P ! S : PowSeqEnum, SeqEnum -> SeqEnum

P ! S : PowSetEnum, SetEnum -> SetEnum

R ! a : Rng, RngElt -> RngElt

H ! n : Rng, RngIntElt -> Map

Z ! a : RngInt, RngElt -> RngIntElt

R ! k : RngIntRes, RngIntElt -> RngIntResElt

R ! s : RngPowSer, SeqEnum -> RngPowSerElt

P ! s : RngUPol, RngElt -> RngPolElt

V ! r : RngVal, FldFunElt -> RngValElt

G ! Q : SgpFP, [ SgpFPElt ] -> SgpFPElt

S ! [i_1, ... i_s] : SgpFP, [RngIntElt] -> SgpFPElt

L ! i: SubGrpLat, RngIntElt -> SubGrpLatElt

IntegerRing() ! e : SubGrpLatElt -> RngIntElt

L ! i: SubModLat, RngIntElt -> SubModLatElt

IntegerRing() ! e : SubModLatElt -> RngIntElt

Id(M) : MonFP -> MonFPElt

Identity(E) : CurveEll -> CurveEllPt

Identity(G) : Grp -> GrpPermElt

Identity(A) : GrpAb -> GrpAbElt

Identity(G) : GrpBB -> GrpBBElt

Identity(G) : GrpFP -> GrpFPElt

Identity(G) : GrpMat -> GrpMatElt

Identity(G) : GrpPC -> GrpPCElt

IdentityMap(E) : CurveEll -> Map

NegationMap(E) : CurveEll -> Map

One(A) : AlgGen -> AlgGenElt

One(B) : MagForm -> MagFormElt

Zero(A) : AlgGen -> AlgGenElt

Zero(M) : ModRng, RngIntElt -> ModRngElt

elt<F | a> : FldFin, RngElt -> FldFinElt

elt<R | a> : FldLoc, RngElt -> FldLocElt

elt<R | m, n> : FldRe, FldReElt, RngIntElt -> FldReElt

elt< B | a, b, c> : MagForm, RngIntElt, RngIntElt, RngIntElt -> MagFormElt

elt< R | a_1, ..., a_k :parameters> : AlgChtr, FldCycElt, ..., FldCycElt -> AlgChtrElt

elt< R | a > : RngMPol, RngElt -> RngMPolElt

elt< C | a_1, a_2, ..., a_k > : SetCart, Elt, ..., Elt -> Tup

!!

!=

"

""

#

Rings, Fields, and Algebras (OVERVIEW)

# x : AlgChtrElt -> RngIntElt

# u : AlgFPElt -> RngIntElt

# B : Bool -> RngIntElt

# C : Code -> RngIntElt

# C : Cop -> RngIntElt

# C : Elt -> RngIntElt

[Future release] # C : Elt -> RngIntElt

# u : GrpBBElt -> RngIntElt

# V : GrpFPCos -> RngIntElt

# u : GrpFPElt -> RngIntElt

# S : List -> RngIntElt

# s : MonStgElt -> RngIntElt

# R : Rng -> RngIntElt

# R : Rng -> RngIntElt

# P : RngUPolRes -> RngIntElt

# S : SeqEnum -> RngIntElt

# C : SetCart -> RngIntElt

# R : SetIndx -> RngIntElt

# u : SgpFPElt -> RngIntElt

# L : SubGrpLat -> RngIntElt

# L : SubModLat -> RngIntElt

# T : Tup -> RngIntElt

BlockDegree(D, B) : Inc, IncBlk -> RngIntElt

NumberOfBlocks(D) : Inc -> RngIntElt

NumberOfLines(P) : Plane -> RngIntElt

NumberOfPoints(D) : Inc -> RngInt

NumberOfPoints(P) : Plane -> RngIntElt

Order(G) : GrpAb -> RngIntElt

Order(G) : GrpFin -> RngIntElt

Order(G) : GrpPC -> RngIntElt

Order(G) : GrpPerm -> RngIntElt

#A

$

$$

Recursive functions (OVERVIEW)

$-key

%

%n

%Sn

%!

%! shell-command

%! shell-command

%-key

%e

%P

%p

%p

%S

%sn

%s

%sn

&

& o S : Op, SetIndx -> Elt

&*

&cat

&meet

&meet S : [ RngMPol ] -> RngMPol

()

x(g) : AlgChtrElt, GrpElt -> FldCycElt

f(r) : Hom(GrpFP), GrpFPRel -> GrpFPRel

m(e) : Map, Elt -> CopElt

(u, v) : ModTupFldElt, ModTupFldElt -> FldElt

(u, v) : ModTupFldElt, ModTupFldElt : -> RngElt

v * a : ModTupFldElt, ModMatFldElt -> ModTupFldElt

u * a : ModTupRngElt, ModMatRngElt -> ModTupRngElt

a @ f : Elt, Map -> Elt

<i, w> @ T : GrpFPCosElt, GrpFPElt, Map -> GrpFPElt

InnerProduct(v, w) : LatElt, LatElt -> RngElt

(,)

(u, v) : GrpFPElt, GrpFPElt -> GrpFPElt

(g, h) : GrpMatElt, GrpMatElt -> GrpMatElt

(g, h) : GrpPermElt, GrpPermElt -> GrpPermElt

LieBracket(a, b) : AlgAssElt, AlgAssElt -> AlgAssElt

(,,)

(g_1, ..., g_r) : GrpMatElt, ..., GrpMatElt -> GrpMatElt

(g_1, ..., g_r) : GrpPermElt, ..., GrpPermElt -> GrpPermElt

(u_1, ..., u_n) : List(GrpFPElt) -> GrpFPElt

(g_1, ..., g_n) : List(GrpPCElt) -> GrpPCElt

*

Operators (OVERVIEW)

Rings, Fields, and Algebras (OVERVIEW)

u * v : AlgFPElt, AlgFPElt -> AlgFPElt

A * B : AlgGen, AlgGen -> AlgGen

a * b : AlgGenElt, AlgGenElt -> AlgGenElt

a * I : AlgGrpElt, AlgGrpSub -> AlgGrpSub

a * r : AlgGrpElt, RngElt -> AlgGrpElt

a * b : AlgMatElt, AlgMatElt -> AlgMatElt

T * L : AlgMatElt, Lat -> Lat

x * u : FldElt, ModTupFldElt -> ModTupFldElt

x * I : FldFunElt, RngFunOrdIdl -> RngFunOrdIdl

x * I : FldNumElt, RngOrdIdl -> RngOrdIdl

u * v : GrpBBElt, GrpBBElt -> GrpBBElt

g * h : GrpElt, GrpElt -> GrpElt

H * g : GrpFP, GrpFPElt -> GrpFPCosElt

u * v : GrpFPElt, GrpFPElt -> GrpFPElt

[Future release] H * g : GrpMat, GrpMatElt -> Elt

g * h : GrpMatElt, GrpMatElt -> GrpMatElt

g * h : GrpPCElt, GrpPCElt -> GrpPCElt

G * H : GrpPerm, GrpPerm -> { GrpPermElt }

H * g : GrpPerm, GrpPermElt -> Elt

g * h : GrpPermElt, GrpPermElt -> GrpPermElt

v * T : LatElt, AlgMatElt -> LatElt

v * s : LatElt, RngIntElt -> .

f * M : MagFormElt, GrpMatElt -> MagFormElt

f * g : MagFormElt, MagFormElt -> MagFormElt

f * g : Map, Map -> Map

f * g : Map, Map -> Map

u * g : ModGrpElt, GrpElt -> ModGrpElt

u * g : ModTupElt, GrpMatElt -> ModTupElt

v * a : ModTupFldElt, ModMatFldElt -> ModTupFldElt

u * a : ModTupRngElt, ModMatRngElt -> ModTupRngElt

x * u : RngElt, ModTupElt -> ModTupElt

a * u : RngElt, ModTupFldElt -> ModTupFldElt

a * b : RngElt, RngElt -> RngElt

x * O : RngFunOrdElt, RngFunOrd -> RngFunOrdIdl

I * J : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl

I * J : RngIdl, RngIdl -> RngIdl

m * P : RngIntElt, CurveEllPt -> CurveEllPt

m * u : RngIntElt, GrpAbElt-> GrpAbElt

I * J : RngMPol, RngMPol -> RngMPol

s * f : RngMPolElt, ModMPolElt -> ModMPolElt

I * J : RngMPolRes, RngMPolRes -> RngMPolRes

x * O : RngOrdElt, RngOrd -> RngOrdIdl

I * J : RngOrdIdl, RngOrdIdl -> RngOrdIdl

I * J : RngUPol, RngUPol -> RngUPol

u * v : SgpFPElt, SgpFPElt -> SgpFPElt

s cat t : MonStgElt, MonStgElt -> MonStgElt

*/

*:=

g *:= h : GrpPCElt, GrpPCElt -> GrpPCElt

P *:= m : CurveEllPt, RngIntElt ->

v *:= n : LatElt, RngIntElt ->

s cat:= t : MonStgElt, MonStgElt -> MonStgElt

+

Rings, Fields, and Algebras (OVERVIEW)

u + v : AlgFPElt, AlgFPElt -> AlgFPElt

a + b : AlgGenElt, AlgGenElt -> AlgGenElt

a + r : AlgGrpElt, RngElt -> AlgGrpElt

a + b : AlgMatElt, AlgMatElt -> AlgMatElt

C + D : Code, Code -> Code

P + Q : CurveEllPt, CurveEllPt -> CurveEllPt

u + v : GrpAbElt, GrpAbElt -> GrpAbElt

G + { u, v } : GrphUnd, { GrphVert } -> GrphUnd

L + M : Lat, Lat -> Lat

v + w : LatElt, LatElt -> LatElt

f + g : Map, Map -> Map

M + N : ModMPol, ModMPol -> ModMPol

f + g : ModMPolElt, ModMPolElt -> ModMPolElt

u + v : ModTupElt, ModTupElt -> ModTupElt

U + V : ModTupFld, ModTupFld -> ModTupFld

u + v : ModTupFldElt, ModTupFldElt -> ModTupFldElt

u + v : ModTupFldElt, ModTupFldElt -> ModTupFldElt

M + N : ModTupRng, ModTupRng -> ModTupRng

+ a : RngElt -> RngElt

a + b : RngElt, RngElt -> RngElt

I + J : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl

I + J : RngIdl, RngIdl -> RngIdl

I + J : RngMPol, RngMPol -> RngMPol

I + J : RngMPolRes, RngMPolRes -> RngMPolRes

O + P : RngOrd, RngOrd -> RngOrd

I + J : RngOrdIdl, RngOrdIdl -> RngOrdIdl

I + J : RngUPol, RngUPol -> RngUPol

e + f : SubModLatElt, SubModLatElt -> SubModLatElt

+:=

P +:= Q : CurveEllPt, CurveEllPt ->

v +:= w : LatElt, LatElt ->

AddEdge(~G, i, j) : Grph, RngIntElt, RngIntElt ->

AddVertices(~G, n) : Grph, RngIntElt ->

,

,-key

-

Rings, Fields, and Algebras (OVERVIEW)

u - v : AlgFPElt, AlgFPElt -> AlgFPElt

- a : AlgGenElt -> AlgGenElt

a - r : AlgGrpElt, RngElt -> AlgGrpElt

- a : AlgMatElt -> AlgMatElt

- P : CurveEllPt -> CurveEllPt

- v : GrpAbElt -> GrpAbElt

G - v : Grph, GrphVert -> Grph

v - w : LatElt, LatElt -> LatElt

f - g : Map, Map -> Map

f - g : ModMPolElt, ModMPolElt -> ModMPolElt

- u : ModTupElt -> ModTupElt

- u : ModTupFldElt -> ModTupFldElt

- u : ModTupFldElt -> ModTupFldElt

- a : RngElt -> RngElt

a - b : RngElt, RngElt -> RngElt

-:=

v -:= w : LatElt, LatElt ->

RemoveEdge(~G, i, j) : Grph, RngIntElt, RngIntElt ->

RemoveVertex(~G, i) : Grph, RngIntElt ->

-b

-c

-d

-n

-r

-S

-s

.

A . i : AlgFP, RngIntElt -> AlgFPElt

R . i : AlgMat, RngIntElt -> AlgMatElt

C . i : Code, RngIntElt -> ModTupFldElt

F . 1 : FldFin -> FldFinElt

F . 1 : FldFin, RngIntElt -> FldFinElt

K . i : FldFun, RngIntElt -> FldFunElt

R . 1 : FldLoc -> FldLocElt

K . 1 : FldNum -> FldNumElt

G . i : Grp, RngIntElt -> GrpElt

A . i : GrpAb, RngIntElt -> GrpAbElt

G . i : GrpBB, RngIntElt -> GrpBBElt

G . i : GrpFP, RngIntElt -> GrpFPElt

E . i : GrphEdgeSet, RngIntElt -> GrphEdge

V . i : GrphVertSet, RngIntElt -> GrphVert

G . i : GrpMat, RngIntElt -> GrpMatElt

G . i : GrpPC, RngIntElt -> GrpPCElt

G . i : GrpPerm, RngIntElt -> GrpPermElt

B . i : IncBlkSet, RngIntElt -> IncBlk

P . i : IncPtSet, RngIntElt -> IncPt

L . i : Lat, RngIntElt -> LatElt

M . i : ModMPol, RngIntElt -> ModMPolElt

V . i : ModTupFld, RngIntElt -> ModTupFldElt

M . i : ModTupRng, RngIntElt -> ModElt

L . i : PlanePtSet, RngIntElt -> PlanePt

V . i : PlanePtSet, RngIntElt -> PlanePt

d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt

P . i : RngMPol, RngInt -> RngMPolElt

Q . i : RngMPolRes, RngIntElt -> RngMPolResElt

R . 1 : RngPowSer, RngInt -> RngSerElt

I . 1 : RngUPol -> RngUPolElt

P . 1 : RngUPol, RngInt -> RngPolElt

S . i : SgpFP, RngIntElt -> SgpFPElt

BasisElement(A, i) : AlgGen, RngIntElt -> AlgGenElt

Name(R, 1) : FldPow, RngIntElt -> FldPowElt

..

Sets (OVERVIEW)

/

Rings, Fields, and Algebras (OVERVIEW)

A / I : AlgFP, AlgFPIdl -> AlgFP

A / S : AlgGen, AlgGen -> AlgGen

a / r : AlgGenElt, RngElt -> AlgGenElt

A / S : AlgGrp, AlgGrpSub -> AlgAss

G / N : Grp, Grp -> Grp

A / B : GrpAb, GrpAb -> GrpAb

g / h : GrpElt, GrpElt -> GrpElt

G / H : GrpFP, GrpFP -> GrpFP

G / N : GrpMat, GrpMat -> GrpMat

g / h : GrpMatElt, GrpMatElt -> GrpMatElt

G / N : GrpPC, GrpPC -> GrpPC

g / h : GrpPCElt, GrpPCElt -> GrpPCElt

G / N : GrpPerm, GrpPerm -> GrpPerm

g / h : GrpPermElt, GrpPermElt -> GrpPermElt

L / S : Lat, Lat -> GrpAb, Map

L / s : Lat, RngElt -> Lat

v / s : LatElt, RngIntElt -> .

M / N : ModMPol, ModMPol -> ModMPol

u / x : ModTupElt, RngElt -> ModTupElt

V / U : ModTupFld, ModTupFld -> ModTupFld

u / x : ModTupFldElt, FldElt -> ModTupFldElt

M / N : ModTupRng, ModTupRng -> ModTupRng

R / I : Rng, RngIdl -> Rng

a / b : RngElt, RngElt -> RngElt

I / x : RngFunOrdIdl, RngElt -> RngFunOrdIdl

I / J : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl

a / b : RngIntElt, RngIntElt -> FldRatElt

I / J : RngMPol, RngMPol -> RngMPolRes

P / J : RngMPol, RngMPol -> RngMPolRes

I / x : RngOrdIdl, RngIntElt -> RngOrdIdl

I / J : RngOrdIdl, RngOrdIdl -> RngOrdIdl

S / I : SgpFP, SgpFPIdl -> SgpFP

/*

/**/

//

//

/:=

g /:= h : GrpPCElt, GrpPCElt -> GrpPCElt

/=

0

1

Release Notes V1.10-1 (8 June 1995) (OVERVIEW)

Release Notes V1.20-1 (8 January 1996) (OVERVIEW)

Release Notes V1.20-1 (8 January 1996) since June 1995 (OVERVIEW)

Release Notes V1.30-1 (5 March 1996) (OVERVIEW)

Release Notes V2.01-1 (21 June 1996) (OVERVIEW)

Release Notes V2.10-1 (14 October 1996) (OVERVIEW)

3

4

5

Release Notes V1.01-5 (25 November 1994) (OVERVIEW)

95

:=

x := expression;

;

;-key

<

<=

<>

Comparison (OVERVIEW)

Generator Assignment (OVERVIEW)

E<x_1, x_2, ...x_n> := expression;

< a_1, a_2, ..., a_k > : Elt, ..., Elt -> Tup

<[]>

=

w_1 = w_2 : AlgFPElt, AlgFPElt -> Rel

w_1 = w_2 : GrpAbElt, GrpAbElt -> Rel

w_1 = w_2 : GrpFPElt, GrpFPElt -> GrpFPRel

w_1 = w_2 : SgpFPElt, SgpFPElt -> Rel

>

Prompt (OVERVIEW)

>=

?

??

@

a @ f : Elt, Map -> Elt

<i, w> @ T : GrpFPCosElt, GrpFPElt, Map -> GrpFPElt

@@

[!!]

[**]

[* *] : -> List

[]

Sequences (OVERVIEW)

Coefficient(a, g) : AlgGrpElt, GrpElt -> RngElt

Component(C, i) : SetCart, RngIntElt -> Str

x[expr_1][expr_2]...[expr_n] := expression;

S[i] := x : List, RngIntElt, Elt ->

x[i] : AlgChtrElt, RngIntElt -> FldCycElt

a[i] : AlgGenElt, RngIntElt -> RngElt

a[i] : AlgMatElt, RngIntElt -> ModTupElt

P[i] : CurveEllPt, RngIntElt -> RngElt

r[1] : GrpAbRel, RngIntElt -> GrpAbElt

r[1] : GrpFPRel, RngIntElt -> GrpFPElt

g[i] : GrpMatElt, RngIntElt -> ModTupElt

S[i] : List, RngIntElt -> Elt

a[i] : MatHomElt, RngIntElt -> ModTupRngElt

f[i] : ModMPolElt, RngIntElt -> RngMPolElt

u[i] : ModTupFldElt, RngIntElt -> RngElt

u[i] : ModTupFldElt, RngIntElt -> RngElt

u[i] : ModTupRngElt, RngIntElt -> RngElt

s[i] : MonStgElt, RngIntElt -> MonStgElt

[ ] : Null -> ESeqEnum

p[i] : PlanePt, RngIntElt -> FldFinElt

[ i..j ] : RngIntElt, RngIntElt -> SeqEnum

S[i] : SeqEnum, RngIntElt -> Elt

S[I] : SeqEnum, [RngIntElt] -> SeqEnum

S[i] : SetIndx, RngIntElt -> Elt

T[i] : TabChtr, RngIntElt -> AlgChtrElt

T[i] : Tup -> Elt

\

\[]

^

Operators (OVERVIEW)

Rings, Fields, and Algebras (OVERVIEW)

Class(H, g) : GrpAb, GrpAbElt -> { GrpAbElt }

Class(H, g) : GrpPC, GrpPCElt -> { GrpPCElt }

x ^ g : AlgChtrElt, GrpElt -> AlgChtrElt

u ^ n : AlgFPElt, RngIntElt -> AlgFPElt

A ^ n : AlgGen, RngIntElt -> AlgGen

a ^ n : AlgGenElt, RngIntElt -> AlgGenElt

a ^ n : AlgMatElt, RngIntElt -> AlgMatElt

y ^ g : Elt, GrpMatElt -> Elt

x ^ G : Elt, GrpPerm -> GSet

x ^ g : Elt, GrpPermElt -> Elt

H ^ g : GrpAb, GrpAbElt -> GrpAb

u ^ m : GrpBBElt, RngIntElt -> GrpBBElt

g ^ h : GrpElt, GrpElt -> GrpElt

g ^ n : GrpElt, RngIntElt -> GrpElt

H ^ G : GrpFin -> GrpFin

H ^ G : GrpFin, GrpFin -> GrpFin

H ^ g : GrpFin, GrpFinElt -> GrpFin

H ^ u : GrpFP, GrpFPElt -> GrpFP

u ^ n : GrpFPElt, RngIntElt -> GrpFPElt

G ^ n : GrphUnd, RngIntElt -> GrphUnd

H ^ G : GrpMat -> GrpMat

H ^ G : GrpMat, GrpMat -> GrpMat

H ^ g : GrpMat, GrpMatElt -> GrpMat

g ^ h : GrpMatElt, GrpMatElt -> GrpMatElt

g ^ n : GrpMatElt, RngIntElt -> GrpMatElt

H ^ g : GrpPC, GrpPCElt -> GrpPC

g ^ h : GrpPCElt, GrpPCElt -> GrpPCElt

g ^ n: GrpPCElt, RngIntElt -> GrpPCElt

H ^ G : GrpPerm -> GrpPerm

H ^ G : GrpPerm, GrpPerm -> GrpPerm

H ^ g : GrpPerm, GrpPermElt -> GrpPerm

g ^ h : GrpPermElt, GrpPermElt -> GrpPermElt

g ^ n : GrpPermElt, RngIntElt -> GrpPermElt

f ^ n : MagFormElt, RngIntElt -> MagFormElt

f ^ k : Map, RngIntElt -> Map

f ^ k : Map, RngIntElt -> Map

M ^ T : ModGrp, AlgMatElt -> ModGrp

a ^ -1 : ModMatRngElt, RngIntElt -> ModMatRngElt

v ^ x : ModTupFldElt, GrpPermElt -> ModTupFldElt

s ^ n : MonStgElt, RngIntElt -> MonStgElt

a ^ k : RngElt, RngIntElt -> RngElt

I ^ k : RngFunOrdIdl, RngIntElt -> RngFunOrdIdl

I ^ k : RngMPol, RngIntElt -> RngMPol

f ^ a : RngMPolElt, GrpMatElt -> RngMPolElt

f ^ g : RngMPolElt, GrpPermElt -> RngMPolElt

I ^ n : RngMPolRes, RngIntElt -> BoolElt

I ^ k : RngOrdIdl, RngIntElt -> RngOrdIdl

u ^ n : SgpFPElt, RngIntElt -> SgpFPElt

^:=

a ^:= k : RngElt, RngIntElt -> RngElt

g ^:= n: GrpPCElt, RngIntElt -> GrpPCElt

_

_ := expression;

`

S`fieldname := expression;

r`fieldname : Rec, Fieldname -> Elt

S`fieldname : Str, Fieldname -> Elt

``

{!!}

Sets (OVERVIEW)

{! x in F | P(x) !}

{**}

{@@}

Sets (OVERVIEW)

{@ @} : Null -> SetIndx

{}

Sets (OVERVIEW)

{ } : Null -> Set

{ i..j } : RngIntElt, RngIntElt -> Set

{ U | e_1, e_2, ..., e_n } : Struct, Elt, ..., Elt -> Set

|

~