[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT partitions.mu, 1.84, 1.85

[aschilling <asc...@us...>]

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT
In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv13913

Modified Files:
	partitions.mu 
Log Message:
rectangle type checking added


Index: partitions.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/partitions.mu,v
retrieving revision 1.84
retrieving revision 1.85
diff -C2 -d -r1.84 -r1.85
*** partitions.mu	22 Jul 2006 17:06:15 -0000	1.84
--- partitions.mu	28 Aug 2006 21:31:46 -0000	1.85
***************
*** 66,69 ****
--- 66,70 ----
  	 hold(fromkBoundedTokPlusOneCore), hold(fromkPlusOneCoreTokBounded), hold(kConjugate), hold(kSplit),
  	 hold(length),
+ 	 hold(isRectangular),
  	 hold(joinInYoungLattice),
  	 hold(meetInYoungLattice),
***************
*** 96,99 ****
--- 97,110 ----
      typeWithZeroes := Type::Predicate(expr2text(dom)."WithZeroes", 
  				      dom::isAWithZeroes);
+     
+     isRectangular :=
+     proc(par: dom) : DOM_BOOL
+     begin
+       if par = [] then return(TRUE); end_if;
+       bool( par[1] = par[nops(par)] );
+     end_proc;
+     
+     typeRectangularShape := Type::Intersection(dom, Type::Predicate("RectangularShape",
+ 								    dom::isRectangular));