TU-Berlin  →  Inst. f. Mathematik  →  Algebra und Zahlentheorie  →  KASH  →  Documentation  →  Introduction
	KASH3 Introduction
Documentation Introduction Reference Manual Index		search
	Introduction to KASH3 Preface Functionality History KANT Shell Copyright Getting Started Starting and Leaving Command Line Options First Steps Line Editing History Inline Help Help Operations Variables and Assignments last -> any Constants Integers and Rationals Factorization ( elt-ord^rat ) -> seq(), elt-ord^rat, seq() GCD ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat LCM ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat Div ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat elt-ord^rat  mod  elt-ord^rat -> elt-ord^rat IsPrime ( elt-ord^rat ) -> elt-alg^boo NextPrime ( elt-ord^rat ) -> elt-ord^rat Reals and Complex Precision -> elt-ord^rat Cos ( elt-fld^rea ) -> elt-fld^rea Exp ( elt-fld^rea ) -> elt-fld^rea Log ( elt-fld^com ) -> elt-fld^com Sqrt ( elt-ord^rat ) -> elt-fld^com Floor ( elt-fld^rat ) -> elt-ord^rat Argument ( elt-fld^com ) -> elt-fld^rea Imaginary ( elt-fld^com ) -> elt-fld^rea Lists Add ( list, any ) -> list Add_ ( list, any ) Append_ ( list, list ) Apply ( list, func ) -> list Ranges Sequences Tuples Polynomials Matrices SetEntry ( elt-mdl^mat, elt-ord^rat, elt-ord^rat, elt-rng ) -> elt-mdl^mat HermiteForm ( elt-alg^mat ) -> elt-alg^mat, elt-alg^mat Algebraic Structures Linear Algebra NullSpace ( elt-mdl^mat ) -> mdl^vec Basis ( mdl^vec ) -> seq() Abelian Groups FreeAbelianGroup ( elt-ord^rat ) -> grp^abl Order ( elt-grp^abl ) -> elt-ord^rat Modules and Lattices Module ( ord^num ) -> mdl^ded, map() Number Fields Orders of Number Fields EquationOrder ( elt-alg^pol ) -> ord^num Signature ( ord^num ) -> elt-ord^rat, elt-ord^rat MaximalOrder ( ord^num ) -> ord^num Discriminant ( ord^num ) -> any Element ( any, nof(any) ) -> elt-any Ideals Ideal ( any, nof(any) ) -> elt-ids Factorisation ( elt-ids^fra/ord^num ) -> seq() IsPrincipal ( elt-ids^fra/ord^num ) -> elt-alg^boo, elt-fld^fra Class Groups ClassGroup ( ord^num ) -> grp^abl, map() ConditionalClassGroup ( ord^num ) -> grp^abl, map() Unit Groups UnitGroup ( ord^num ) -> grp^abl, map() TorsionUnitGroup ( ord^num ) -> grp^abl, map() Global Function Fields Function Fields Genus ( fld^fun ) -> elt-ord^rat Finite and Infinite Maximal Orders MaximalOrderFinite ( fld^fun ) -> ord^fun MaximalOrderInfinite ( fld^fun ) -> ord^fun Ideals and Divisors Places ( fld^fun ) -> pls/fld^fun Places ( fld^fun, elt-ord^rat ) -> seq() Ideals ( elt-dvs/fld^fun ) -> elt-ids^int/ord^fun, elt-ids^int/ord^fun Divisors ( elt-ids^int/ord^num ) -> seq() Programming Language if while repeat for function return arg Inside KASH3 Types Type ( any ) -> type ShowTypes elt ord^rat elt-ord^rat elt-alg^pol NewType ( string, elt-ord^rat ) -> type Is ( type, type ) Generic Functions Generators Element ( any, nof(any) ) -> elt-any Sequence ( any ) -> seq() List ( any ) -> list Ideal ( any, nof(any) ) -> elt-ids Extension ( any, nof(any) ) -> any Sub ( any, nof(any) ) -> any, map() Quotient ( any, nof(any) ) -> any, map() Records and Extended Objects record rec ( nof(any) ) -> record base Extend ( any ) -> record Base ( any ) -> any Eq ( any, any ) -> elt-alg^boo operations Optional Arguments ExtractOptarg ( list ) -> record HasOptarg ( list ) -> elt-alg^boo CheckArgs ( list, list, list ) Maps map Map ( any, any, func ) -> map() Map ( any, any, func, func ) -> map() Domain ( map() ) -> any Codomain ( map() ) -> any Image ( any, map() ) -> any Preimage ( any, map() ) -> any HasPreimage ( any, map() ) -> elt-alg^boo, any Composition ( map(), map() ) -> map() Documentation InstallDocumentation ( record ) -> elt-alg^boo CheckDocumentation ( record ) MergeDocumentation ( record ) DocHash ( string ) -> string Methods InstallMethod ( record, func ) Outside KASH3 Files Read ( string ) ReadLib ( string ) LogTo ( string ) LogTo PrintTo ( string, nof() ) AppendTo ( string, nof() ) System Exec ( string ) Pipe ( string, string ) -> string EvalString ( string ) -> any Database QaosNumberField ( string ) -> list QaosTransitiveGroup ( string ) -> list QaosResult ( list ) -> list GAP compatibility mode Creating GAP groups/objects Accessing GAP groups/objects Properties of GAP groups/objects Converting GAP groups/objects to KASH3 Known failures in GAP compat mode
	Built: Mon Nov 14 21:17:42 UTC 2005 on mack The KANT Group

---