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

Function

DirectSum ( seq(mdl) Q ) -> mdl, seq(), seq()

Optional Arguments

Resultselt-ord^rat1 <= Results <= 3

Description

The direct sum D of G and H, together with the embedding maps from G into D and H into D respectively and the projection maps from D onto G and H respectively).

Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group