maname-deq() ==
union-deq(LocKnd;Id 
Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Definitions :
union-deq: union-deq(A;B;a;b),
LocKnd: LocKnd,
product: x:A B[x],
locknd-deq: locknd-deq(),
product-deq: product-deq(A;B;a;b),
Id: Id,
id-deq: IdDeq
FDL editor aliases :
maname-deq
maname-deq() == union-deq(LocKnd;Id \mtimes{} Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Date html generated:
2010_08_26-PM-11_42_40
Last ObjectModification:
2008_02_27-PM-09_35_28
Home
Index