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

other

any < any -> elt-alg^boo

any < elt-ord^inf -> elt-alg^boo

char < char -> elt-alg^boo

elt-alg^boo < elt-alg^boo -> elt-alg^boo

elt-alg^mat < elt-alg^mat -> elt-alg^boo

elt-alg^pol < elt-alg^pol -> elt-alg^boo

elt-dvs/fld^fun < elt-dvs/fld^fun -> elt-alg^boo

elt-fld^rat < elt-fld^rat -> elt-alg^boo

elt-fld^rea < elt-fld^rea -> elt-alg^boo

elt-grp^per < elt-grp^per -> elt-alg^boo

elt-ord^inf < any -> elt-alg^boo

elt-ord^inf < elt-ord^inf -> elt-alg^boo

elt-ord^rat < elt-ord^rat -> elt-alg^boo

list < list -> elt-alg^boo

record < record -> elt-alg^boo

seq() < seq() -> elt-alg^boo

string < string -> elt-alg^boo

alg^pol * alg^pol -> alg^pol

any * elt-ord^inf -> elt-ord^inf

elt-alg^mat * elt-alg^mat -> elt-alg^mat

elt-alg^mat * elt-mdl^mat -> elt-mdl^mat

elt-alg^pol * elt-alg^pol -> elt-alg^pol

elt-dif/fld^fun * elt-rng -> elt-dif/fld^fun

elt-dvs/fld^num * elt-ord^rat -> elt-dvs/fld^num

elt-fld^com * elt-fld^com -> elt-fld^com

elt-fld^fin * elt-fld^fin -> elt-fld^fin

elt-fld^fra * elt-fld^fra -> elt-fld^fra

elt-fld^fun * elt-fld^fun -> elt-fld^fun

elt-fld^pad * elt-fld^pad -> elt-fld^pad

elt-fld^pol * elt-fld^pol -> elt-fld^pol

elt-fld^rat * elt-fld^rat -> elt-fld^rat

elt-fld^rea * elt-fld^rea -> elt-fld^rea

elt-grp^abl * elt-ord^rat -> elt-grp^abl

elt-grp^per * elt-grp^per -> elt-grp^per

elt-ids^fra/ord^num * elt-ids^fra/ord^num -> elt-ids^fra/ord^num

elt-ids^fra/ord^num * elt-rng -> elt-ids^fra/ord^num

elt-ids^int/ord^fun * elt-ids^int/ord^fun -> elt-ids^int/ord^fun

elt-ids^int/ord^fun * elt-mdl^ded -> mdl^ded

elt-ids^int/ord^fun * elt-rng -> elt-ids^int/ord^fun

elt-ids^int/ord^fun * mdl^ded -> mdl^ded

elt-ids^int/ord^num * elt-mdl^ded -> mdl^ded

elt-ids^int/ord^num * mdl^ded -> mdl^ded

elt-mdl * elt-alg^mat -> elt-mdl

elt-mdl * elt-mdl^mat -> elt-mdl

elt-mdl * elt-rng -> elt-mdl

elt-mdl^ded * elt-ids^int/ord^fun -> mdl^ded

elt-mdl^ded * elt-ids^int/ord^num -> mdl^ded

elt-mdl^ded * elt-rng -> elt-mdl^ded

elt-mdl^mat * elt-alg^mat -> elt-mdl^mat

elt-mdl^mat * elt-mdl^mat -> elt-mdl^mat

elt-mdl^mat * elt-rng -> elt-mdl^mat

elt-mdl^vec * elt-alg^mat -> elt-mdl^vec

elt-mdl^vec * elt-mdl^mat -> elt-mdl^vec

elt-mdl^vec * elt-mdl^vec -> elt-mdl^vec

elt-mdl^vec * elt-rng -> elt-mdl^vec

elt-ord^fun * elt-ord^fun -> elt-ord^fun

elt-ord^inf * any -> elt-ord^inf

elt-ord^inf * elt-ord^inf -> elt-ord^inf

elt-ord^num * elt-ord^num -> elt-ord^num

elt-ord^pad * elt-ord^pad -> elt-ord^pad

elt-ord^rat * elt-dvs/fld^fun -> elt-ord^rat

elt-ord^rat * elt-dvs/fld^num -> elt-dvs/fld^num

elt-ord^rat * elt-grp^abl -> elt-grp^abl

elt-ord^rat * elt-ord^rat -> elt-ord^rat

elt-ord^rat * elt-pls/fld^fun -> elt-dvs/fld^fun

elt-ord^rat * elt-pls/fld^num -> elt-dvs/fld^num

elt-ord^rat * string -> string

elt-pls/fld^num * elt-ord^rat -> elt-dvs/fld^num

elt-res^num * elt-res^num -> elt-res^num

elt-res^pad * elt-res^pad -> elt-res^pad

elt-res^pol * elt-res^pol -> elt-res^pol

elt-res^rat * elt-res^rat -> elt-res^rat

elt-rng * elt-dif/fld^fun -> elt-dif/fld^fun

elt-rng * elt-ids^fra/ord^num -> elt-ids^fra/ord^num

elt-rng * elt-ids^int/ord^fun -> elt-ids^int/ord^fun

elt-rng * elt-mdl -> elt-mdl

elt-rng * elt-mdl^ded -> elt-mdl^ded

elt-rng * elt-mdl^mat -> elt-mdl^mat

elt-rng * elt-mdl^vec -> elt-mdl^vec

elt-rng * elt-rng -> elt-rng

elt-rng * mdl^ded -> mdl^ded

elt-rng * ord^fun -> elt-ids^int/ord^fun

elt-rng * ord^num -> elt-ids^fra/ord^num

elt-rng^ser * elt-rng^ser -> elt-rng^ser

map() * map() -> map()

mdl^ded * elt-ids^int/ord^fun -> mdl^ded

mdl^ded * elt-ids^int/ord^num -> mdl^ded

mdl^ded * elt-rng -> mdl^ded

mdl^vec * elt-alg^mat -> mdl^vec

mdl^vec * elt-mdl^mat -> mdl^vec

ord^fun * elt-rng -> elt-ids^int/ord^fun

ord^num * elt-rng -> elt-ids^fra/ord^num

ord^rat * ord^rat -> ord^rat

record * record -> any

res^rat * res^rat -> res^rat

seq() * seq() -> seq()

string * string -> string

alg^pol + alg^pol -> alg^pol

any + elt-ord^inf -> elt-ord^inf

elt-alg^mat + elt-alg^mat -> elt-alg^mat

elt-alg^pol + elt-alg^pol -> elt-alg^pol

elt-dif/fld^fun + elt-dif/fld^fun -> elt-dif/fld^fun

elt-dvs/fld^fun + elt-dvs/fld^fun -> elt-dvs/fld^fun

elt-dvs/fld^fun + elt-pls/fld^fun -> elt-dvs/fld^fun

elt-dvs/fld^num + elt-dvs/fld^num -> elt-dvs/fld^num

elt-dvs/fld^num + elt-pls/fld^num -> elt-dvs/fld^num

elt-fld^com + elt-fld^com -> elt-fld^com

elt-fld^fin + elt-fld^fin -> elt-fld^fin

elt-fld^fra + elt-fld^fra -> elt-fld^fra

elt-fld^fun + elt-fld^fun -> elt-fld^fun

elt-fld^pad + elt-fld^pad -> elt-fld^pad

elt-fld^pol + elt-fld^pol -> elt-fld^pol

elt-fld^rat + elt-fld^rat -> elt-fld^rat

elt-fld^rea + elt-fld^rea -> elt-fld^rea

elt-grp^abl + elt-grp^abl -> elt-grp^abl

elt-ids^fra/ord^num + elt-ids^fra/ord^num -> elt-ids^fra/ord^num

elt-ids^int/ord^fun + elt-ids^int/ord^fun -> elt-ids^int/ord^fun

elt-mdl + elt-mdl -> elt-mdl

elt-mdl^ded + elt-mdl^ded -> elt-mdl^ded

elt-mdl^mat + elt-mdl^mat -> elt-mdl^mat

elt-mdl^vec + elt-mdl^vec -> elt-mdl^vec

elt-ord^fun + elt-ord^fun -> elt-ord^fun

elt-ord^inf + any -> elt-ord^inf

elt-ord^inf + elt-ord^inf -> elt-ord^inf

elt-ord^num + elt-ord^num -> elt-ord^num

elt-ord^pad + elt-ord^pad -> elt-ord^pad

elt-ord^rat + elt-ord^rat -> elt-ord^rat

elt-pls/fld^fun + elt-dvs/fld^fun -> elt-dvs/fld^fun

elt-pls/fld^fun + elt-pls/fld^fun -> elt-dvs/fld^fun

elt-pls/fld^num + elt-dvs/fld^num -> elt-dvs/fld^num

elt-pls/fld^num + elt-pls/fld^num -> elt-dvs/fld^num

elt-res^num + elt-res^num -> elt-res^num

elt-res^pad + elt-res^pad -> elt-res^pad

elt-res^pol + elt-res^pol -> elt-res^pol

elt-res^rat + elt-res^rat -> elt-res^rat

elt-rng + -> elt-rng

elt-rng + elt-rng -> elt-rng

elt-rng^ser + elt-rng^ser -> elt-rng^ser

fld^fin + fld^fin -> fld^fin

mdl + mdl -> mdl

mdl^ded + mdl^ded -> mdl^ded

mdl^mat + mdl^mat -> mdl^mat

mdl^vec + mdl^vec -> mdl^vec

ord^fun + ord^fun -> ord^fun

ord^num + ord^num -> ord^num

ord^rat + ord^rat -> ord^rat

record + record -> any

res^rat + res^rat -> res^rat

seq() + seq() -> seq()

string + string -> string

any - elt-ord^inf -> elt-ord^inf

elt-alg^mat - -> elt-alg^mat

elt-alg^mat - elt-alg^mat -> elt-alg^mat

elt-alg^pol - -> elt-alg^pol

elt-alg^pol - elt-alg^pol -> elt-alg^pol

elt-dif/fld^fun - -> elt-dif/fld^fun

elt-dif/fld^fun - elt-dif/fld^fun -> elt-dif/fld^fun

elt-dvs/fld^fun - -> elt-dvs/fld^fun

elt-dvs/fld^fun - elt-dvs/fld^fun -> elt-dvs/fld^fun

elt-dvs/fld^fun - elt-pls/fld^fun -> elt-dvs/fld^fun

elt-dvs/fld^num - -> elt-dvs/fld^num

elt-dvs/fld^num - elt-dvs/fld^num -> elt-dvs/fld^num

elt-dvs/fld^num - elt-pls/fld^num -> elt-dvs/fld^num

elt-fld^com - -> elt-fld^com

elt-fld^com - elt-fld^com -> elt-fld^com

elt-fld^fin - -> elt-fld^fin

elt-fld^fin - elt-fld^fin -> elt-fld^fin

elt-fld^fra - -> elt-fld^fra

elt-fld^fra - elt-fld^fra -> elt-fld^fra

elt-fld^fun - -> elt-fld^fun

elt-fld^fun - elt-fld^fun -> elt-fld^fun

elt-fld^pad - -> elt-fld^pad

elt-fld^pad - elt-fld^pad -> elt-fld^pad

elt-fld^pol - -> elt-fld^pol

elt-fld^pol - elt-fld^pol -> elt-fld^pol

elt-fld^rat - -> elt-fld^rat

elt-fld^rat - elt-fld^rat -> elt-fld^rat

elt-fld^rea - -> elt-fld^rea

elt-fld^rea - elt-fld^rea -> elt-fld^rea

elt-grp^abl - -> elt-grp^abl

elt-grp^abl - elt-grp^abl -> elt-grp^abl

elt-mdl - -> elt-mdl

elt-mdl - elt-mdl -> elt-mdl

elt-mdl^ded - -> elt-mdl^ded

elt-mdl^ded - elt-mdl^ded -> elt-mdl^ded

elt-mdl^mat - -> elt-mdl^mat

elt-mdl^mat - elt-mdl^mat -> elt-mdl^mat

elt-mdl^vec - -> elt-mdl^vec

elt-mdl^vec - elt-mdl^vec -> elt-mdl^vec

elt-ord^fun - -> elt-ord^fun

elt-ord^fun - elt-ord^fun -> elt-ord^fun

elt-ord^inf - -> elt-ord^inf

elt-ord^inf - any -> elt-ord^inf

elt-ord^inf - elt-ord^inf -> elt-ord^inf

elt-ord^num - -> elt-ord^num

elt-ord^num - elt-ord^num -> elt-ord^num

elt-ord^pad - -> elt-ord^pad

elt-ord^pad - elt-ord^pad -> elt-ord^pad

elt-ord^rat - -> elt-ord^rat

elt-ord^rat - elt-ord^rat -> elt-ord^rat

elt-pls/fld^fun - -> elt-dvs/fld^fun

elt-pls/fld^fun - elt-dvs/fld^fun -> elt-dvs/fld^fun

elt-pls/fld^fun - elt-pls/fld^fun -> elt-dvs/fld^fun

elt-pls/fld^num - -> elt-dvs/fld^num

elt-pls/fld^num - elt-dvs/fld^num -> elt-dvs/fld^num

elt-pls/fld^num - elt-pls/fld^num -> elt-dvs/fld^num

elt-res^num - -> elt-res^num

elt-res^num - elt-res^num -> elt-res^num

elt-res^pad - -> elt-res^pad

elt-res^pad - elt-res^pad -> elt-res^pad

elt-res^pol - -> elt-res^pol

elt-res^pol - elt-res^pol -> elt-res^pol

elt-res^rat - -> elt-res^rat

elt-res^rat - elt-res^rat -> elt-res^rat

elt-rng - -> elt-rng

elt-rng - elt-rng -> elt-rng

elt-rng^ser - -> elt-rng^ser

elt-rng^ser - elt-rng^ser -> elt-rng^ser

record - record -> any

seq() - seq() -> seq()

string - string -> string

alg^pol . elt-ord^rat -> elt-alg^pol

fld^com . elt-ord^rat -> elt-fld^com

fld^fin . elt-ord^rat -> elt-fld^fin

fld^fra . elt-ord^rat -> elt-fld^fra

fld^fun . elt-ord^rat -> elt-fld^fun

fld^num . elt-ord^rat -> elt-fld^num

fld^pad . elt-ord^rat -> elt-fld^pad

fld^rat . elt-ord^rat -> elt-fld^rat

grp^abl . elt-ord^rat -> elt-grp^abl

mdl . elt-ord^rat -> elt-mdl

mdl^ded . elt-ord^rat -> elt-mdl^vec

mdl^mat . elt-ord^rat -> elt-mdl^mat

mdl^vec . elt-ord^rat -> elt-mdl^vec

ord^fun . elt-ord^rat -> elt-fld^fra

ord^num . elt-ord^rat -> elt-fld^fra

ord^pad . elt-ord^rat -> elt-ord^pad

record . name -> any

res^pad . elt-ord^rat -> elt-res^pad

res^pol . elt-ord^rat -> elt-res^pol

rng . elt-ord^rat -> elt-rng

rng^ser . elt-ord^rat -> elt-rng^ser

any / elt-ord^inf -> any

elt-alg^pol / elt-alg^pol -> elt-fld^pol

elt-alg^pol / elt-rng -> elt-alg^pol

elt-dif/fld^fun / elt-dif/fld^fun -> elt-fld^fun

elt-dif/fld^fun / elt-rng -> elt-dif/fld^fun

elt-fld^com / elt-fld^com -> elt-fld^com

elt-fld^fin / elt-fld^fin -> elt-fld^fin

elt-fld^fra / elt-fld^fra -> elt-fld^fra

elt-fld^fra / elt-ord^rat -> elt-fld^fra

elt-fld^fun / elt-fld^fun -> elt-fld^fun

elt-fld^fun / elt-rng -> elt-fld^fun

elt-fld^pad / elt-fld^pad -> elt-fld^pad

elt-fld^rat / elt-fld^rat -> elt-fld^rat

elt-fld^rea / elt-fld^rea -> elt-fld^rea

elt-grp^per / elt-grp^per -> elt-grp^per

elt-ids^fra/ord^num / elt-ids^fra/ord^num -> elt-ids^fra/ord^num

elt-ids^fra/ord^num / elt-rng -> elt-ids^fra/ord^num

elt-ids^int/ord^fun / elt-ids^int/ord^fun -> elt-ids^int/ord^fun

elt-ids^int/ord^fun / elt-rng -> elt-ids^int/ord^fun

elt-mdl / elt-rng -> elt-mdl

elt-mdl^ded / elt-rng -> elt-mdl^ded

elt-mdl^mat / elt-rng -> elt-mdl^mat

elt-mdl^vec / elt-rng -> elt-mdl^vec

elt-ord^fun / elt-ord^fun -> elt-fld^fun

elt-ord^fun / elt-rng -> elt-fld^fun

elt-ord^inf / any -> elt-ord^inf

elt-ord^inf / elt-ord^inf -> elt-ord^inf

elt-ord^num / elt-ord^num -> elt-fld^fra

elt-ord^num / elt-ord^rat -> elt-fld^fra

elt-ord^pad / elt-ord^pad -> elt-ord^pad

elt-ord^rat / elt-grp^per -> elt-ord^rat

elt-ord^rat / elt-ord^rat -> elt-fld^rat

elt-res^num / elt-res^num -> elt-res^num

elt-res^pol / elt-res^pol -> elt-res^pol

elt-res^rat / elt-res^rat -> elt-res^rat

elt-rng / elt-ids^int/ord^fun -> elt-ids^int/ord^fun

elt-rng / elt-rng -> elt-rng

elt-rng^ser / elt-rng^ser -> elt-rng^ser

grp^abl / grp^abl -> grp^abl

mdl / mdl -> mdl

mdl^mat / mdl^mat -> mdl^mat

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

record / record -> any

seq() / seq() -> seq()

list := elt-ord^rat

string := elt-ord^rat

alg^boo = alg^boo -> elt-alg^boo

alg^pol = alg^pol -> elt-alg^boo

any = elt-ord^inf -> elt-alg^boo

any = elt-ord^rat -> elt-alg^boo

char = char -> elt-alg^boo

dif/fld^fun = dif/fld^fun -> elt-alg^boo

dvs/fld^fun = dvs/fld^fun -> elt-alg^boo

dvs/fld^num = dvs/fld^num -> elt-alg^boo

elt-alg^boo = elt-alg^boo -> elt-alg^boo

elt-alg^mat = elt-alg^mat -> elt-alg^boo

elt-alg^pol = elt-alg^pol -> elt-alg^boo

elt-dif/fld^fun = elt-dif/fld^fun -> elt-alg^boo

elt-dvs/fld^fun = elt-dvs/fld^fun -> elt-alg^boo

elt-fld^com = elt-fld^com -> elt-alg^boo

elt-fld^fin = elt-fld^fin -> elt-alg^boo

elt-fld^fra = elt-fld^fra -> elt-alg^boo

elt-fld^fun = elt-fld^fun -> elt-alg^boo

elt-fld^rat = elt-fld^rat -> elt-alg^boo

elt-fld^rea = elt-fld^rea -> elt-alg^boo

elt-grp^abl = elt-grp^abl -> elt-alg^boo

elt-grp^per = elt-grp^per -> elt-alg^boo

elt-ids^fra/ord^num = elt-ids^fra/ord^num -> elt-alg^boo

elt-ids^int/ord^fun = elt-ids^int/ord^fun -> elt-alg^boo

elt-mdl = elt-mdl -> elt-alg^boo

elt-mdl^ded = elt-mdl^ded -> elt-alg^boo

elt-mdl^mat = elt-mdl^mat -> elt-alg^boo

elt-mdl^vec = elt-mdl^vec -> elt-alg^boo

elt-ord^fun = elt-ord^fun -> elt-alg^boo

elt-ord^inf = any -> elt-alg^boo

elt-ord^inf = elt-ord^inf -> elt-alg^boo

elt-ord^num = elt-ord^num -> elt-alg^boo

elt-ord^rat = any -> elt-alg^boo

elt-ord^rat = elt-ord^rat -> elt-alg^boo

elt-pls/fld^fun = elt-pls/fld^fun -> elt-alg^boo

elt-pls/fld^num = elt-pls/fld^num -> elt-alg^boo

elt-res^num = elt-res^num -> elt-alg^boo

elt-res^pad = elt-res^pad -> elt-alg^boo

elt-res^pol = elt-res^pol -> elt-alg^boo

elt-res^rat = elt-res^rat -> elt-alg^boo

elt-rng = elt-rng -> elt-alg^boo

elt-rng^ser = elt-rng^ser -> elt-alg^boo

fld^com = fld^com -> elt-alg^boo

fld^fin = fld^fin -> elt-alg^boo

fld^fra = fld^fra -> elt-alg^boo

fld^fra = fld^rat -> elt-alg^boo

fld^fun = fld^fun -> elt-alg^boo

fld^fun = fld^pol -> elt-alg^boo

fld^pad = fld^pad -> elt-alg^boo

fld^pol = fld^fun -> elt-alg^boo

fld^rat = fld^fra -> elt-alg^boo

fld^rat = fld^rat -> elt-alg^boo

fld^rat = ord^rat -> elt-alg^boo

fld^rea = fld^rea -> elt-alg^boo

grp^abl = grp^abl -> elt-alg^boo

list = list -> elt-alg^boo

map() = map() -> elt-alg^boo

mdl = mdl -> elt-alg^boo

mdl^ded = mdl^ded -> elt-alg^boo

mdl^mat = mdl^mat -> elt-alg^boo

mdl^vec = mdl^vec -> elt-alg^boo

newtface = newtface -> elt-alg^boo

ord^fun = ord^fun -> elt-alg^boo

ord^num = ord^num -> elt-alg^boo

ord^pad = ord^pad -> elt-alg^boo

ord^rat = fld^rat -> elt-alg^boo

ord^rat = ord^rat -> elt-alg^boo

pls/fld^fun = pls/fld^fun -> elt-alg^boo

pls/fld^num = pls/fld^num -> elt-alg^boo

record = record -> elt-alg^boo

res^pad = res^pad -> elt-alg^boo

res^pol = res^pol -> elt-alg^boo

res^rat = res^rat -> elt-alg^boo

rng = rng -> elt-alg^boo

rng^ser = rng^ser -> elt-alg^boo

seq() = seq() -> elt-alg^boo

str = str -> elt-alg^boo

string = string -> elt-alg^boo

tup() = tup() -> elt-alg^boo

[] ( list, elt-ord^rat ) -> any

[] ( nof(any) ) -> list

[] ( string, elt-ord^rat ) -> char

any ^ elt-ord^inf -> any

elt-alg^mat ^ elt-ord^rat -> elt-alg^mat

elt-alg^pol ^ elt-ord^rat -> elt-alg^pol

elt-fld^com ^ elt-fld^com -> elt-fld^com

elt-fld^com ^ elt-ord^rat -> elt-fld^com

elt-fld^fin ^ elt-ord^rat -> elt-fld^fin

elt-fld^fra ^ elt-ord^rat -> elt-fld^fra

elt-fld^fun ^ elt-ord^rat -> elt-fld^fun

elt-fld^pad ^ elt-ord^rat -> elt-fld^pad

elt-fld^rat ^ elt-fld^rat -> elt-fld^rea

elt-fld^rat ^ elt-ord^rat -> elt-fld^rat

elt-fld^rea ^ elt-fld^rea -> elt-fld^rea

elt-fld^rea ^ elt-ord^rat -> elt-fld^rea

elt-grp^abl ^ grp^abl -> seq()

elt-grp^per ^ elt-grp^per -> elt-grp^per

elt-grp^per ^ elt-ord^rat -> elt-grp^per

elt-ids^fra/ord^num ^ elt-ord^rat -> elt-ids^fra/ord^num

elt-ids^int/ord^fun ^ elt-ord^rat -> elt-ids^int/ord^fun

elt-mdl^mat ^ elt-ord^rat -> elt-mdl^mat

elt-ord^fun ^ elt-ord^rat -> elt-ord^fun

elt-ord^inf ^ any -> any

elt-ord^inf ^ elt-ord^inf -> any

elt-ord^num ^ elt-ord^rat -> elt-ord^num

elt-ord^pad ^ elt-ord^rat -> elt-ord^pad

elt-ord^rat ^ elt-fld^rat -> elt-fld^rea

elt-ord^rat ^ elt-grp^per -> elt-ord^rat

elt-ord^rat ^ elt-ord^rat -> elt-ord^rat

elt-res^num ^ elt-ord^rat -> elt-res^num

elt-res^pad ^ elt-ord^rat -> elt-res^pad

elt-res^pol ^ elt-ord^rat -> elt-res^pol

elt-res^rat ^ elt-ord^rat -> elt-res^rat

elt-rng ^ elt-ord^rat -> elt-rng

elt-rng^ser ^ elt-fld^rat -> elt-rng^ser

elt-rng^ser ^ elt-ord^rat -> elt-rng^ser

elt-rng^ser ^ elt-rng^ser -> elt-rng^ser

grp^abl ^ elt-grp^abl -> grp^abl

grp^abl ^ grp^abl -> grp^abl

mdl ^ elt-alg^mat -> mdl

record ^ record -> any

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

string ^ elt-ord^rat -> string

{} ( list, list ) -> list

{} ( string, list ) -> string

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