TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Index
KASH3 Index
IntroductionReference ManualIndex
other A B C D E F G H I J K L M N O P Q R S T U V W X Z
search    

V

Valuation ( elt-alg^pol ) -> elt-ord^rat
Valuation ( elt-dif/fld^fun, elt-pls/fld^fun ) -> elt-ord^rat
Valuation ( elt-dvs/fld^fun, elt-pls/fld^fun ) -> elt-ord^rat
Valuation ( elt-fld^fra, elt-ids^int/ord^num ) -> elt-ord^rat
Valuation ( elt-fld^num, elt-ids^int/ord^num ) -> elt-ord^rat
Valuation ( elt-fld^pad ) -> elt-ord^rat
Valuation ( elt-fld^pol, elt-alg^pol ) -> elt-ord^rat
Valuation ( elt-fld^rat, elt-ord^rat ) -> elt-ord^rat, elt-fld^rat
Valuation ( elt-ids^fra/ord^num, elt-ids^int/ord^num ) -> elt-ord^rat
Valuation ( elt-ids^int/ord^fun, elt-ids^int/ord^fun ) -> elt-ord^rat
Valuation ( elt-ord^num, elt-ids^int/ord^num ) -> elt-ord^rat
Valuation ( elt-ord^pad ) -> elt-ord^rat
Valuation ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat, elt-ord^rat
Valuation ( elt-res^pad ) -> elt-ord^rat
Valuation ( elt-rng, elt-ids^int/ord^fun ) -> elt-ord^rat
Valuation ( elt-rng, elt-pls/fld^fun ) -> elt-ord^rat
Valuation ( elt-rng^ser ) -> elt-ord^rat
Variables and Assignments
vec
Vector ( elt-alg^mat ) -> elt-alg^mat
Vector ( elt-ord^rat, seq() ) -> elt-alg^mat
Vector ( rng, elt-alg^mat ) -> elt-alg^mat
Vector ( rng, elt-ord^rat, seq() ) -> elt-alg^mat
Vector ( rng, seq() ) -> elt-alg^mat
Vector ( seq() ) -> elt-alg^mat
VectorSpace ( fld^fin, fld^fin ) -> mdl^vec/fld, map()
VectorSpace ( fld^fin, fld^fin, seq(elt-fld^fin) ) -> mdl^vec/fld, map()
VectorSpace ( fld^fra, fld, seq(elt-fld^fra) ) -> mdl^vec/fld, map()
VectorSpace ( fld^num, fld ) -> mdl^vec/fld, map()
VectorSpace ( mdl ) -> mdl^vec/fld
VectorSpace ( mdl^vec/fld, fld^fin ) -> mdl^vec/fld, map()
VectorSpace ( rng, elt-ord^rat ) -> mdl^vec/fld
VectorSpace ( rng, elt-ord^rat, elt-alg^mat ) -> mdl^vec/fld
VectorSpace ( rng, elt-ord^rat, seq() ) -> mdl^vec/fld
VectorSpaceWithBasis ( elt-alg^mat ) -> mdl^vec/fld
VectorSpaceWithBasis ( elt-mdl^mat/fld ) -> mdl^vec/fld
VectorSpaceWithBasis ( seq(elt-mdl^vec/fld) ) -> mdl^vec/fld
VerticalJoin ( elt-alg^mat, elt-alg^mat ) -> elt-alg^mat
VerticalJoin ( seq(elt-alg^mat) ) -> elt-alg^mat
VerticalJoin ( tup() ) -> elt-alg^mat
Vertices ( newtgon ) -> seq()
VOID -> void
void
Built: Mon Nov 14 21:15:56 UTC 2005 on mack
The KANT Group