Index

→

Inst. f. Mathematik

→

Algebra und Zahlentheorie

→

→

→

KASH³ Index

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

D

DecimalToBitPrecision ( elt-ord^rat ) -> elt-ord^rat

DecomposeVector ( mdl^vec, elt-mdl^vec ) -> elt-mdl^vec, elt-mdl^vec

Decomposition ( elt-fld^fra ) -> seq()

Decomposition ( elt-ord^num ) -> seq()

Decomposition ( fld^fun, elt-pls/fld^fun ) -> seq()

Decomposition ( fld^num, elt-ord^rat ) -> seq()

Decomposition ( fld^num/fld^rat, elt-ord^inf ) -> seq()

Decomposition ( ord^fun ) -> seq()

Decomposition ( ord^fun, elt-alg^pol ) -> seq()

Decomposition ( ord^fun, elt-ids^int/ord^fun ) -> seq()

Decomposition ( ord^num, elt-ids^int/ord^num ) -> seq()

Decomposition ( ord^num, elt-ord^rat ) -> seq()

DecompositionType ( ord^fun ) -> seq()

DecompositionType ( ord^fun, elt-alg^pol ) -> seq()

DecompositionType ( ord^fun, elt-ids^int/ord^fun ) -> seq()

DecompositionType ( ord^num, elt-ids^int/ord^num ) -> seq()

DecompositionType ( ord^num, elt-ord^rat ) -> seq()

DedekindEta ( elt-fld^com ) -> elt-fld^com

DedekindEta ( elt-rng^ser ) -> elt-rng^ser

DedekindTest ( elt-alg^pol, elt-ord^rat ) -> elt-alg^boo

DefiningConstantField ( fld^fun ) -> rng

DefiningMap ( fld^pad ) -> map()

DefiningMap ( ord^pad ) -> map()

DefiningPoints ( newtgon ) -> seq()

DefiningPolynomial ( fld^fin ) -> elt-alg^pol

DefiningPolynomial ( fld^fin, fld^fin ) -> elt-alg^pol

DefiningPolynomial ( fld^fra ) -> elt-alg^pol

DefiningPolynomial ( fld^fun ) -> elt-rng

DefiningPolynomial ( fld^pad ) -> elt-alg^pol

DefiningPolynomial ( fld^pad, fld^pad ) -> elt-alg^pol

DefiningPolynomial ( fld^rat ) -> elt-alg^pol

DefiningPolynomial ( ord^fun ) -> elt-alg^pol

DefiningPolynomial ( ord^num ) -> elt-alg^pol

DefiningPolynomial ( ord^pad ) -> elt-alg^pol

DefiningPolynomial ( ord^pad, ord^pad ) -> elt-alg^pol

DefiningPolynomial ( res^pad ) -> elt-alg^pol

DefiningPolynomial ( res^pad, res^pad ) -> elt-alg^pol

DefiningPolynomials ( fld^fun ) -> seq()

DefiningPolynomials ( ord^fun ) -> seq()

Degree ( elt-alg^pol ) -> elt-ord^rat

Degree ( elt-alg^pol/ord^pow ) -> elt-ord^rat

Degree ( elt-dvs/fld^fun ) -> elt-ord^rat

Degree ( elt-dvs/fld^num ) -> elt-ord^rat

Degree ( elt-fld^fun ) -> elt-ord^rat

Degree ( elt-fld^pol ) -> elt-ord^rat

Degree ( elt-ids^int/ord^fun ) -> elt-ord^rat

Degree ( elt-ids^int/ord^num ) -> elt-ord^rat

Degree ( elt-mdl^vec ) -> elt-ord^rat

Degree ( elt-ord^fun ) -> elt-ord^rat

Degree ( elt-pls/fld^fun ) -> elt-ord^rat

Degree ( elt-pls/fld^num ) -> elt-ord^rat

Degree ( elt-res^pol ) -> elt-ord^rat

Degree ( elt-rng^ser ) -> elt-ord^rat

Degree ( fld^abl ) -> elt-ord^rat

Degree ( fld^fin ) -> elt-ord^rat

Degree ( fld^fin, fld^fin ) -> elt-ord^rat

Degree ( fld^fra ) -> elt-ord^rat

Degree ( fld^fun ) -> elt-ord^rat

Degree ( fld^pad ) -> elt-ord^rat

Degree ( fld^pad, fld^pad ) -> elt-ord^rat

Degree ( fld^rat ) -> elt-ord^rat

Degree ( mdl^ded ) -> elt-ord^rat

Degree ( mdl^vec ) -> elt-ord^rat

Degree ( ord^fun ) -> elt-ord^rat

Degree ( ord^num ) -> elt-ord^rat

Degree ( ord^pad ) -> elt-ord^rat

Degree ( ord^pad, ord^pad ) -> elt-ord^rat

Degree ( res^pad ) -> elt-ord^rat

Degree ( res^pad, res^pad ) -> elt-ord^rat

DegreeOfExactConstantField ( fld^fun ) -> elt-ord^rat

DegreeOnePrimeIdeals ( ord^num, elt-ord^rat ) -> seq()

Delta ( elt-fld^com ) -> elt-fld^com

Delta ( elt-rng^ser ) -> elt-rng^ser

Delta ( seq() ) -> elt-rng

Denominator ( elt-dvs/fld^fun ) -> elt-dvs/fld^fun

Denominator ( elt-fld^fra ) -> elt-ord^rat

Denominator ( elt-fld^fra, ord^fun ) -> elt-rng

Denominator ( elt-fld^rat ) -> elt-ord^rat

Denominator ( elt-ids^fra/ord^num ) -> elt-ord^rat

Denominator ( elt-ids^int/ord^fun ) -> elt-rng

Denominator ( elt-ord^inf ) -> elt-ord^rat

Denominator ( elt-rng ) -> elt-rng

Depth ( elt-mdl ) -> elt-ord^rat

Depth ( elt-mdl^vec ) -> elt-ord^rat

Derivative ( elt-alg^pol ) -> elt-alg^pol

Derivative ( elt-alg^pol, elt-ord^rat ) -> elt-alg^pol

Derivative ( elt-alg^pol/ord^pow ) -> elt-alg^pol/ord^pow

Derivative ( elt-alg^pol/res^pow ) -> elt-alg^pol/res^pow

Derivative ( elt-fld^pol ) -> elt-fld^pol

Derivative ( elt-fld^pol, elt-ord^rat ) -> elt-fld^pol

Derivative ( elt-rng^ser ) -> elt-rng^ser

Derivative ( elt-rng^ser, elt-ord^rat ) -> elt-rng^ser

DerivedLength ( grp^abl ) -> elt-ord^rat

DerivedSeries ( grp^abl ) -> seq()

Determinant ( elt-alg^mat ) -> elt-rng

Determinant ( elt-alg^mat, elt-ord^rat ) -> seq()

Determinant ( mdl^ded ) -> any

DiagonalJoin ( elt-alg^mat, elt-alg^mat ) -> elt-alg^mat

DiagonalJoin ( seq(elt-alg^mat) ) -> elt-alg^mat

DiagonalJoin ( tup() ) -> elt-alg^mat

DiagonalMatrix ( alg^mat, seq(elt-rng) ) -> elt-alg^mat

Difference ( dry, list ) -> dry

Difference ( set, list ) -> set

Difference_ ( dry, list )

Difference_ ( set, list )

Different ( elt-ids^fra/ord^num ) -> elt-ids^fra/ord^num

Different ( elt-ids^int/ord^fun ) -> elt-ids^int/ord^fun

DifferentDivisor ( fld^fun ) -> elt-dvs/fld^fun

Differential ( elt-fld^fun ) -> elt-dif/fld^fun

Differential ( elt-ord^fun ) -> elt-dif/fld^fun

DifferentialBasis ( elt-dvs/fld^fun ) -> seq()

DifferentialSpace ( elt-dvs/fld^fun ) -> mdl/fld, map()

DifferentialSpace ( fld^fun ) -> dif/fld^fun

Differentiation ( elt-fld^fun, elt-fld^fun ) -> elt-fld^fun

Differentiation ( elt-fld^fun, elt-ord^rat, elt-fld^fun ) -> elt-fld^fun

DifferentiationSequence ( elt-fld^fun, elt-ord^rat, elt-fld^fun ) -> seq()

Digest ( string ) -> string

DigestOnFile ( string ) -> string

Dimension ( elt-dvs/fld^fun ) -> elt-ord^rat

Dimension ( mdl ) -> elt-ord^rat

Dimension ( mdl^ded ) -> elt-ord^rat

Dimension ( mdl^mat ) -> elt-ord^rat

Dimension ( mdl^vec ) -> elt-ord^rat

DimensionOfEndomorphismRing ( mdl ) -> elt-ord^rat

DimensionOfExactConstantField ( fld^fun ) -> elt-ord^rat

DirectSum ( alg^mat, alg^mat ) -> alg^mat

DirectSum ( elt-alg^mat, elt-alg^mat ) -> elt-alg^mat

DirectSum ( grp^abl, grp^abl ) -> grp^abl, map(), map(), map(), map()

DirectSum ( mdl, mdl ) -> mdl, map(), map(), map(), map()

DirectSum ( mdl^vec, mdl^vec ) -> mdl^vec, map(), map()

DirectSum ( seq(elt-alg^mat) ) -> elt-alg^mat

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

DirectSum ( seq(mdl^vec) ) -> mdl^vec, seq(), seq()

DirectSum ( tup() ) -> elt-alg^mat

DiscreteLog ( elt-grp^ell, elt-grp^ell ) -> elt-ord^rat

Discriminant ( elt-alg^pol ) -> elt-rng

Discriminant ( elt-alg^pol/ord^pow ) -> elt-fld^fin

Discriminant ( elt-alg^pol/res^pow ) -> elt-fld^fin

Discriminant ( fld^abl ) -> elt-ids^int/ord^num, seq()

Discriminant ( fld^fra ) -> elt-ord^rat

Discriminant ( fld^rat ) -> elt-ord^rat

Discriminant ( grp^ell ) -> elt-fld^fin

Discriminant ( ord^fun ) -> any

Discriminant ( ord^num ) -> any

Discriminant ( ord^rat ) -> elt-ord^rat

DisplayDocComplete ( string )

DisplayDocShort ( string )

DisplayDocSig ( string )

Distance ( elt-mdl, elt-mdl ) -> elt-ord^rat

Distance ( elt-mdl^vec, elt-mdl^vec ) -> elt-ord^rat

DistinctDegreeFactorization ( elt-alg^pol ) -> seq()

Div ( elt-alg^pol, elt-alg^pol ) -> elt-alg^pol

Div ( elt-alg^pol/ord^pow, any ) -> elt-alg^pol/ord^pow

Div ( elt-alg^pol/ord^pow, elt-alg^pol/ord^pow ) -> elt-alg^pol/ord^pow

Div ( elt-alg^pol/ord^pow, elt-ord^pow ) -> elt-alg^pol/ord^pow

Div ( elt-alg^pol/res^pow, elt-alg^pol/res^pow ) -> elt-alg^pol/res^pow

Div ( elt-alg^pol/res^pow, elt-ord^pow ) -> elt-alg^pol/res^pow

Div ( elt-alg^pol/res^pow, elt-res^pow ) -> elt-alg^pol/res^pow

Div ( elt-dvs/fld^fun, elt-ord^rat ) -> elt-dvs/fld^fun

Div ( elt-dvs/fld^num, elt-ord^rat ) -> elt-dvs/fld^num

Div ( elt-fld^fun, elt-fld^fun ) -> elt-fld^fun

Div ( elt-fld^fun, elt-rng ) -> elt-fld^fun

Div ( elt-fld^pad, elt-fld^pad ) -> elt-fld^pad

Div ( elt-ord^fun, elt-ord^fun ) -> elt-ord^fun

Div ( elt-ord^fun, elt-rng ) -> elt-ord^fun

Div ( elt-ord^num, elt-ord^num ) -> elt-ord^num

Div ( elt-ord^pad, elt-ord^pad ) -> elt-ord^pad

Div ( elt-ord^pow, elt-fld^fin ) -> elt-ord^pow

Div ( elt-ord^pow, elt-ord^pow ) -> elt-ord^pow

Div ( elt-ord^pow, elt-ord^rat ) -> elt-ord^pow

Div ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat

Div ( elt-pls/fld^fun, elt-ord^rat ) -> elt-dvs/fld^fun

Div ( elt-pls/fld^num, elt-ord^rat ) -> elt-dvs/fld^num

Div ( elt-res^pad, elt-res^pad ) -> elt-res^pad

Div ( elt-res^pow, elt-fld^fin ) -> elt-res^pow

Div ( elt-res^pow, elt-ord^rat ) -> elt-res^pow

Div ( elt-res^pow, elt-res^pow ) -> elt-res^pow

Div ( elt-res^rat, elt-res^rat ) -> elt-res^rat

Divisor ( elt-dif/fld^fun ) -> elt-dvs/fld^fun

Divisor ( elt-fld^fun ) -> elt-dvs/fld^fun

Divisor ( elt-grp^ell ) -> elt-dvs/fld^fun

Divisor ( elt-ids^fra/ord^num ) -> elt-dvs/fld^num

Divisor ( elt-ids^int/ord^fun ) -> elt-dvs/fld^fun

Divisor ( elt-ids^int/ord^fun, elt-ids^int/ord^fun ) -> elt-dvs/fld^fun

Divisor ( elt-ord^fun ) -> elt-dvs/fld^fun

Divisor ( elt-pls/fld^fun ) -> elt-dvs/fld^fun

Divisor ( elt-pls/fld^num ) -> elt-dvs/fld^num

DivisorGroup ( fld^fun ) -> dvs/fld^fun

DivisorGroup ( fld^num ) -> dvs/fld^num

DivisorOfDegreeOne ( fld^fun ) -> elt-dvs/fld^fun

Divisors ( elt-ids^int/ord^num ) -> seq()

Divisors ( elt-ord^num ) -> seq()

Divisors ( elt-ord^rat ) -> seq()

Divisors ( seq() ) -> seq()

DivisorSigma ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat

DivisorSigma ( elt-ord^rat, seq() ) -> elt-ord^rat

DocGenHashByRecord ( record ) -> string

DocGenHashByString ( string ) -> string

DocHash ( string ) -> string

Domain ( elt-mdl^mat ) -> mdl^vec

Domain ( map() ) -> any

Domain ( mdl^mat ) -> mdl^vec

Downcase ( string ) -> string

Dry ( list ) -> list

DryAdd ( dry, any ) -> dry

DryAdd_ ( dry, any ) -> state

DryIsEqual ( list, list ) -> elt-alg^boo

DryIsSubdry ( list, list ) -> elt-alg^boo

DryRemove ( dry, any ) -> dry

DryRemove_ ( dry, any )

DryReplace ( dry, any, any ) -> dry

DryReplaceOrAdd ( dry, any, any ) -> dry

DryReplaceOrAdd_ ( dry, any, any )

DryReplace_ ( dry, any, any ) -> dry

Dual ( mdl^ded ) -> mdl^ded

DuvalPuiseuxExpansion ( elt-alg^pol, elt-ord^rat ) -> seq()

Built: Mon Nov 14 21:15:56 UTC 2005 on mack