TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
KASH3 Reference Manual
search    

Function

Quotient ( any R, nof(any) a ) -> any Q, map() m

Optional Arguments

Resultselt-ord^ratif Results:=2 also the map is returned

Description

The quotient of 'R' and the substructure of 'R' specified by 'a' and the map 'm' from 'R' to 'Q' if requested.

Examples

a := FreeAbelianGroup(3);Quotient(a,3*a.1,4*a.2,2*a.3,rec(Results:=2));
a := FreeAbelianGroup(2);s := Sub(a,2*a.1,7*a.2); q := Quotient(a,s);
Quotient(pAdicRing(3,20),3^6);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group