Home / Browse / MuPAD-Combinat / Mail / Archive

MuPAD-Combinat

Email Archive: mupad-combinat-commits (read-only)

2004:	_Jan	_Feb	_Mar	_Apr	_May	_Jun	_Jul	_Aug	_Sep (261)	_Oct (439)	_Nov (94)	_Dec (189)
2005:	_Jan (194)	_Feb (165)	_Mar (185)	_Apr (196)	_May (475)	_Jun (264)	_Jul (355)	_Aug (95)	_Sep (372)	_Oct (260)	_Nov (115)	_Dec (64)
2006:	_Jan (106)	_Feb (144)	_Mar (206)	_Apr (177)	_May (490)	_Jun (185)	_Jul (218)	_Aug (111)	_Sep (150)	_Oct (154)	_Nov (224)	_Dec (221)
2007:	_Jan (113)	_Feb (167)	_Mar (83)	_Apr (99)	_May (119)	_Jun (292)	_Jul (142)	_Aug (136)	_Sep (287)	_Oct (256)	_Nov (222)	_Dec (180)
2008:	_Jan (112)	_Feb (80)	_Mar (104)	_Apr (97)	_May (81)	_Jun (64)	_Jul (21)	_Aug (3)	_Sep (14)	_Oct (10)	_Nov (30)	_Dec (34)
2009:	_Jan (9)	_Feb (10)	_Mar (15)	_Apr (20)	_May (43)	_Jun (20)	_Jul (29)	_Aug (7)	_Sep (2)	_Oct	_Nov (1)	_Dec (11)
2010:	_Jan (6)	_Feb (6)	_Mar (2)	_Apr (1)	_May	_Jun (2)	_Jul (1)	_Aug	_Sep (1)	_Oct (14)	_Nov	_Dec


S	M	T	W	T	F	S
		1	2	3	4	5
		(3)	(1)	(2)	(2)	(1)
6	7	8	9	10	11	12
(1)	(1)	(2)	(2)	(1)	(2)	(1)
13	14	15	16	17	18	19
(2)	(5)	(9)	(9)	(1)	(2)	(1)
20	21	22	23	24	25	26
(1)	(8)	(8)	(1)	(2)	(3)	(2)
27	28	29	30
(2)	(26)	(10)	(4)

[Mupad-combinat-commits] MuPAD-Combinat/lib/IPC/TEST GAP.tst,1.1,1.2

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:27

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/IPC/TEST
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19609

Modified Files:
	GAP.tst 
Log Message:
Fixed IPC::GAP::evaluate (all of IPC::GAP was currently broken)
New methods:
 - IPC::GAP::RandomInvertibleMat
 - IPC::GAP::RandomUnimodularMat


Index: GAP.tst
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/IPC/TEST/GAP.tst,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** GAP.tst	31 Jan 2005 13:01:52 -0000	1.1
--- GAP.tst	28 Nov 2005 16:27:16 -0000	1.2
***************
*** 12,16 ****
  
  //////////////////////////////////////////////////////////////////////////////
! prog::testfunc(IPC::GAP):
  prog::testexit():
  //////////////////////////////////////////////////////////////////////////////
--- 12,23 ----
  
  //////////////////////////////////////////////////////////////////////////////
! prog::testfunc("evaluate"):
! 
! prog::test(IPC::GAP::evaluate("1+1;"), "2");
! 
! //////////////////////////////////////////////////////////////////////////////
! prog::testfunc("NrTransitiveGroups"):
! 
! prog::test(IPC::GAP::NrTransitiveGroups(6), 16);
  prog::testexit():
  //////////////////////////////////////////////////////////////////////////////

[Mupad-combinat-commits] MuPAD-Combinat/lib/IPC GAP.mu,1.2,1.3

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:27

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/IPC
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19554

Modified Files:
	GAP.mu 
Log Message:
Fixed IPC::GAP::evaluate (all of IPC::GAP was currently broken)
New methods:
 - IPC::GAP::RandomInvertibleMat
 - IPC::GAP::RandomUnimodularMat


Index: GAP.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/IPC/GAP.mu,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** GAP.mu	15 Mar 2005 17:44:42 -0000	1.2
--- GAP.mu	28 Nov 2005 16:27:05 -0000	1.3
***************
*** 11,16 ****
  domain IPC::GAP
      interface := {
  		  hold(NrTransitiveGroups),
! 		  hold(TransitiveGroup)
  		 };
  
--- 11,20 ----
  domain IPC::GAP
      interface := {
+ 		  hold(evaluate),
  		  hold(NrTransitiveGroups),
! 		  hold(TransitiveGroup),
! 		  hold(StabChain),
! 		  hold(RandomInvertibleMat),
! 		  hold(RandomUnimodularMat)
  		 };
  
***************
*** 30,46 ****
      end_proc;
  
      evaluate :=
      proc(command : DOM_STRING) : DOM_STRING
  	local result, line;
      begin
! 	userinfo(3, "Sending the following command to GAP:\n".GAPcommand);
  	IPC::putline(dom::child(),
  		     command .
! 		     ";;\nPrint(\"\\n".dom::GAPprompt."\\n\");;");
  	result := "";
  	while (line := IPC::getline(dom::child())) <> dom::GAPprompt do
  	    result:=result.line;
  	end_while;
! 	return(result);
      end_proc;
  
--- 34,53 ----
      end_proc;
  
+     GAPprompt := "GAP PROMPT";
+ 
      evaluate :=
      proc(command : DOM_STRING) : DOM_STRING
  	local result, line;
      begin
! 	userinfo(3, "Sending the following command to GAP:\n".command);
  	IPC::putline(dom::child(),
  		     command .
! 		     "\nPrint(\"\\n".dom::GAPprompt."\\n\");;");
  	result := "";
  	while (line := IPC::getline(dom::child())) <> dom::GAPprompt do
  	    result:=result.line;
  	end_while;
! 	userinfo(3, "Received from GAP:\n".result."\n");
! 	result;
      end_proc;
  
***************
*** 58,61 ****
--- 65,70 ----
      end_proc;
  
+     
+ 
      StabChain :=
      proc(generators: DOM_LIST)
***************
*** 82,85 ****
      end_proc;
  
!     GAPprompt := "GAP PROMPT";
  end_domain:
--- 91,104 ----
      end_proc;
  
!     RandomInvertibleMat :=
!     proc(n: Type::NonNegInt)
!     begin
! 	Dom::Matrix(Dom::Integer)(text2expr(dom::evaluate("RandomInvertibleMat(".n.", Integers);")));
!     end_proc;
! 
!     RandomUnimodularMat :=
!     proc(n: Type::NonNegInt)
!     begin
! 	Dom::Matrix(Dom::Integer)(text2expr(dom::evaluate("RandomUnimodularMat(".n.");")));
!     end_proc;
  end_domain:

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT riggedConfigurations.mu,1.10,1.11

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:25

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

Modified Files:
	riggedConfigurations.mu 
Log Message:
Bug fix: when the dynamic module was not available, the code
generating the cochargeFromPath and fromOnePath entries returned
null() instead of NIL. Not only was this not really proper, but this
triggered a fun bug because expressions sequences as domain entries
are not currently supported by the MuPAD library (see discussion on
the mailing list).


Index: riggedConfigurations.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/riggedConfigurations.mu,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** riggedConfigurations.mu	14 Nov 2005 17:19:22 -0000	1.10
--- riggedConfigurations.mu	28 Nov 2005 16:25:37 -0000	1.11
***************
*** 1,2 ****
--- 1,3 ----
+ 
  /*****************************************************************************
    $Id$
***************
*** 248,251 ****
--- 249,253 ----
  	 else
  	     userinfo(1, "Can't use the RiggedConfigurationPath dynamic module");
+ 	     NIL;
  	 end_if);
  	
***************
*** 290,293 ****
--- 292,296 ----
  	 else
  	     userinfo(1, "Can't use the RiggedConfigurationPath dynamic module");
+ 	     NIL;
  	 end_if);
      
***************
*** 320,323 ****
  	end_if;
      end_proc;
! 	
! end_domain:
\ No newline at end of file
--- 323,325 ----
  	end_if;
      end_proc;
! end_domain:

[Mupad-combinat-commits] MuPAD-Combinat/lib/EXPERIMENTAL HeckeSymmetricGroupAlgebra.mu,1.15,1.16

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:19

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXPERIMENTAL
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17643

Modified Files:
	HeckeSymmetricGroupAlgebra.mu 
Log Message:
Add pi and ti to the interface.


Index: HeckeSymmetricGroupAlgebra.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXPERIMENTAL/HeckeSymmetricGroupAlgebra.mu,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** HeckeSymmetricGroupAlgebra.mu	25 Jul 2005 15:44:24 -0000	1.15
--- HeckeSymmetricGroupAlgebra.mu	28 Nov 2005 16:18:58 -0000	1.16
***************
*** 840,844 ****
  		   hold(isHecke), hold(isHeckeEquations),
  		   hold(isSG), hold(isSGEquations),
! 		   hold(isHeckeSG), hold(isHeckeSGEquations)
  		 };
  
--- 840,845 ----
  		   hold(isHecke), hold(isHeckeEquations),
  		   hold(isSG), hold(isSGEquations),
! 		   hold(isHeckeSG), hold(isHeckeSGEquations),
! 		   hold(pi), hold(ti)
  		 };

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/DOMAIN SubFreeModule.mu,1.6,1.7

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:18

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/DOMAIN
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17332

Modified Files:
	SubFreeModule.mu 
Log Message:
Fixed return type of coproductBasis.


Index: SubFreeModule.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/DOMAIN/SubFreeModule.mu,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** SubFreeModule.mu	9 Oct 2005 21:49:43 -0000	1.6
--- SubFreeModule.mu	28 Nov 2005 16:18:23 -0000	1.7
***************
*** 81,85 ****
      coproductBasis := // Should be Cat::BialgebraWithBasis
      if dom::hasProp(Cat::HopfAlgebraWithBasis) then
!     proc(t: dom::basisIndices) : dom
  	option remember; // The computations in the big algebra will typically be expensive
  	local i;
--- 81,85 ----
      coproductBasis := // Should be Cat::BialgebraWithBasis
      if dom::hasProp(Cat::HopfAlgebraWithBasis) then
!     proc(t: dom::basisIndices) : dom::tensorSquare
  	option remember; // The computations in the big algebra will typically be expensive
  	local i;

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/CATEGORY HopfAlgebraWithBasis.mu,1.16,1.17

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 16:17

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17205

Modified Files:
	HopfAlgebraWithBasis.mu 
Log Message:
Fixed isCocommutative which was 100% broken due to a stupid
typo. Should be working now.
Added partially generic implementation of coidealClosure.


Index: HopfAlgebraWithBasis.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/HopfAlgebraWithBasis.mu,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** HopfAlgebraWithBasis.mu	10 Oct 2005 11:36:16 -0000	1.16
--- HopfAlgebraWithBasis.mu	28 Nov 2005 16:17:03 -0000	1.17
***************
*** 121,127 ****
  	local g, p;
      begin
! 	g := dom::basis::generators(args());
  	while (p := g()) <> FAIL do
! 	    p := operators::coproduct(p);
  	    if not iszero(p - p::dom::mapsupport(p, revert)) then
  		userinfo(3, "The cogebra is not commutative; see coproduct of ".expr2text(p));
--- 121,127 ----
  	local g, p;
      begin
! 	g := dom::basis::generator(args());
  	while (p := g()) <> FAIL do
! 	    p := dom::coproduct(p);
  	    if not iszero(p - p::dom::mapsupport(p, revert)) then
  		userinfo(3, "The cogebra is not commutative; see coproduct of ".expr2text(p));
***************
*** 132,134 ****
--- 132,146 ----
      end_proc;
  
+     // Not yet generic: need to generalize projectTensorOnLeft from experimental/2005-09-08-David.mu
+     coidealClosure :=
+     proc(generators: Type::ListOf(dom)) : Type::ListOf(dom)
+     begin
+ 	userinfo(3, "Computing the coideal closure");
+ 	dom::moduleClosure(generators,
+ 			   [proc(x: dom) : Type::SequenceOf(dom)
+ 			    begin
+ 				op(projectTensorOnLeft(dom::tensorSquare(dom::coproduct(x))));
+ 			    end_proc]):
+     end_proc;
+ 
  end_category:

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/CATEGORY/TEST AlgebraWithBasis.tst,1.4,1.5

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 15:26

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/TEST
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7307

Modified Files:
	AlgebraWithBasis.tst 
Log Message:
New method: Cat::AlgebraWithBasis::algebraClosure.


Index: AlgebraWithBasis.tst
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/TEST/AlgebraWithBasis.tst,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** AlgebraWithBasis.tst	20 Mar 2005 11:06:34 -0000	1.4
--- AlgebraWithBasis.tst	28 Nov 2005 15:26:28 -0000	1.5
***************
*** 63,66 ****
--- 63,100 ----
             (FreeAlgebra)::fromList([[7, [2, 2, 5, 5]], [1, [4, 4, 1, 1, 3, 3]]])):
  
+ //////////////////////////////////////////////////////////////////////////////
+ prog::testfunc(algebraClosure):
+ 
+ // This is quite minimal, as there is not much linear algebra
+ // involved, but at least it tests that this feature is available and
+ // not completely broken.
+ 
+ S := Dom::SymmetricGroup(3):
+ H := Dom::GroupAlgebra(S):
+ 
+ s1 := H(S([2,1,3])):
+ s2 := H(S([1,3,2])):
+ c  := H(S([2,3,1])):
+ 
+ prog::test(H::algebraClosure([s1, s2]),
+            [H::term(S([3, 2, 1])), H::term(S([1, 2, 3])), H::term(S([3, 1, 2])),
+ 	    H::term(S([2, 3, 1])), H::term(S([1, 3, 2])), H::term(S([2, 1, 3]))]):
+ prog::test(H::algebraClosure([s1]),
+            [H::term(S([1, 2, 3])), H::term(S([2, 1, 3]))]):
+ prog::test(H::algebraClosure([1 - s1]),
+            [H::fromList([[1, S([1, 2, 3])], [-1, S([2, 1, 3])]])]):
+ prog::test(H::algebraClosure([1 - s1, H::one]),
+            [H::term(S([1, 2, 3])), H::term(S([2, 1, 3]))]):
+ prog::test(H::algebraClosure([1 - s1, 1 - s2]),
+            [H::fromList([[1, S([3, 2, 1])], [-1, S([2, 1, 3])]]),
+ 	    H::fromList([[1, S([1, 2, 3])], [-1, S([2, 1, 3])]]),
+ 	    H::fromList([[1, S([3, 1, 2])], [-1, S([2, 1, 3])]]),
+ 	    H::fromList([[1, S([2, 3, 1])], [-1, S([2, 1, 3])]]),
+ 	    H::fromList([[1, S([1, 3, 2])], [-1, S([2, 1, 3])]])]):
+ prog::test(H::algebraClosure([c]),
+            [H::term(S([1, 2, 3])), H::term(S([3, 1, 2])), H::term(S([2, 3, 1]))]):
+ prog::test(H::algebraClosure([s1, c]),
+            [H::term(S([3, 2, 1])), H::term(S([1, 2, 3])), H::term(S([3, 1, 2])),
+ 	    H::term(S([2, 3, 1])), H::term(S([1, 3, 2])), H::term(S([2, 1, 3]))]):
  
  //////////////////////////////////////////////////////////////////////////////

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/CATEGORY/DOC AlgebraWithBasis.mupdoc,1.3,1.4

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 15:26

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/DOC
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7271

Modified Files:
	AlgebraWithBasis.mupdoc 
Log Message:
New method: Cat::AlgebraWithBasis::algebraClosure.


Index: AlgebraWithBasis.mupdoc
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/DOC/AlgebraWithBasis.mupdoc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** AlgebraWithBasis.mupdoc	28 Sep 2005 11:04:51 -0000	1.3
--- AlgebraWithBasis.mupdoc	28 Nov 2005 15:26:16 -0000	1.4
***************
*** 173,177 ****
      the algebra generators are indexed by a combinatorial class
      <expr>"algebraGeneratorsIndices"</expr> (which can be as simple as
!     <expr><cmd>combinat::finiteClass([1,...,n])</cmd>())</expr>.</eng>
  <eng>If a procedure <expr>"algebraToList"</expr> is implemented to rewrite
      any element of the algebra in terms of the generators, then the
--- 173,177 ----
      the algebra generators are indexed by a combinatorial class
      <expr>"algebraGeneratorsIndices"</expr> (which can be as simple as
!     <expr><cmd>combinat::finiteClass</cmd>([1,...,n])())</expr>.</eng>
  <eng>If a procedure <expr>"algebraToList"</expr> is implemented to rewrite
      any element of the algebra in terms of the generators, then the
***************
*** 291,294 ****
--- 291,312 ----
    the multiplication to be done on the left.</para></note></eng>
  </methoddetails>
+ 
+ <methoddetails>
+   <info name='algebraClosure'><eng>sub-algebra generated by a set of
+   generators</eng></info>
+ 
+   <call>
+     <arg type='list'>generators</arg>
+     <option/>
+   </call>
+ 
+   <eng>Returns a basis, in reduced echelon form, of the (non-unital)
+   subalgebra generated by the elements in <arg>generators</arg></eng>
+ 
+   <eng>To obtain the unital subalgebra instead, simply include
+   <expr>dom::one</expr> to the list of generators; later on, there
+   will some <expr>Unital</expr> option to take care of this situation
+   more efficiently.</eng>
+ </methoddetails>
  </methodsec>

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/CATEGORY AlgebraWithBasis.mu,1.29,1.30

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 15:26

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7171

Modified Files:
	AlgebraWithBasis.mu 
Log Message:
New method: Cat::AlgebraWithBasis::algebraClosure.


Index: AlgebraWithBasis.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/AlgebraWithBasis.mu,v
retrieving revision 1.29
retrieving revision 1.30
diff -C2 -d -r1.29 -r1.30
*** AlgebraWithBasis.mu	26 Sep 2005 13:54:38 -0000	1.29
--- AlgebraWithBasis.mu	28 Nov 2005 15:26:04 -0000	1.30
***************
*** 41,44 ****
--- 41,45 ----
  		 hold(algebraGenerators),
  		 hold(algebraMorphism),
+ 		 hold(algebraClosure),
  		 hold(characteristic)
  		};
***************
*** 261,263 ****
--- 262,276 ----
      end_proc;
  
+     algebraClosure := // non utital algebra closure!
+     proc(generators: Type::ListOf(dom)) : Type::ListOf(dom)
+     begin
+ 	userinfo(3, "Computing the (non unital!) algebra closure");
+ 	dom::moduleClosure(generators,
+ 			   [proc(x: dom) : Type::SequenceOf(dom)
+ 				local generator;
+ 			    begin
+ 				x * generator $ generator in generators
+ 			    end_proc])
+     end_proc;
+ 
  end_category:

[Mupad-combinat-commits] MuPAD-Combinat/lib/DOMAINS/CATEGORY ModuleWithBasis.mu,1.51,1.52

From: Nicolas M. Thiéry <nthiery@us...> - 2005-11-28 15:02

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2720

Modified Files:
	ModuleWithBasis.mu 
Log Message:
Bug fix: there was a crawling bug in the machinery which struck at
several occasions and yielded smaller subspaces than expected. This
should now be fixed.

Details: I was making the assumption that, when a list of vectors B
was in echelon form, putting B union { x } in echelon form would leave
the reduced form of x at the last position (unless of course it
reduces to zero). This is often the case, but not always. So tracking
the bug has been painful until I stumbled this morning on a small
enough example that triggered the bug.

I now use Cat::ModuleWithBasis::reduce (any better name?) which is
quite preliminary but should be sufficiently compatible with
echelonForm.


Index: ModuleWithBasis.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/DOMAINS/CATEGORY/ModuleWithBasis.mu,v
retrieving revision 1.51
retrieving revision 1.52
diff -C2 -d -r1.51 -r1.52
*** ModuleWithBasis.mu	21 Oct 2005 14:31:01 -0000	1.51
--- ModuleWithBasis.mu	28 Nov 2005 15:02:12 -0000	1.52
***************
*** 1323,1325 ****
--- 1323,1360 ----
      end_proc;
  
+     moduleClosure :=
+     proc(generators: Type::ListOf(dom), operations: Type::ListOf(Type::Function))
+ 	local basis, rank, todo, x, operation;
+     begin
+ 	generators := dom::echelonForm(generators, Reduced);
+ 	if dom::dimension <> FAIL and nops(generators) < dom::dimension then
+ 	    todo := generators;
+ 	    basis := [];
+ 	    rank  := nops(basis);
+ 	    while nops(todo) > 0 do
+ 		assert(rank=nops(basis));
+ 		x := todo[1];
+ 		delete(todo[1]);
+ 		x := dom::reduce(x, basis);
+ 		if iszero(x) then
+ 		    userinfo(NoNL, 3, "-");
+ 		    next;
+ 		end_if;
+ 		userinfo(NoNL, 3, "+");
+ 		// Insert x in basis, and reduces the other vectors in basis
+ 		basis := dom::echelonForm(append(basis, x), Reduced);
+ 		rank := rank+1;
+ 		if dom::dimension <> FAIL and rank = dom::dimension then
+ 		    break;
+ 		end_if;
+ 		todo := append(todo, operation(x) $ operation in operations );
+ 		userinfo(NoNL, 3, "[" . nops(todo) . "]");
+ 	    end_while;
+ 	else
+ 	    basis := generators;
+ 	end_if;
+ 	userinfo(NoNL, 3, "Done\n");
+ 	basis;
+     end_proc;
+ 
  end_category:

[Mupad-combinat-commits] MuPAD-Combinat/lib/EXAMPLES MultivariatePolynomials.mu,1.8,1.9 SymmetricFunctions.mu,1.90,1.91

From: Francois Descouens <fdescouens@us...> - 2005-11-28 10:04

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXAMPLES
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6256

Modified Files:
	MultivariatePolynomials.mu SymmetricFunctions.mu 
Log Message:
bug fixes due to the change of name of the domain qQuantities and its functions.


Index: MultivariatePolynomials.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXAMPLES/MultivariatePolynomials.mu,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** MultivariatePolynomials.mu	28 Nov 2005 09:38:00 -0000	1.8
--- MultivariatePolynomials.mu	28 Nov 2005 10:04:42 -0000	1.9
***************
*** 392,396 ****
  	      sigma,
  	      (pol,i) -> dom::dividedDifference(pol*(dom::m(Variables[i])-qq*dom::m(Variables[i+1])),i),
! 	      (cycle) -> qq*combinat::qQuantities::qInteger(cycle[2]-cycle[1]-1,qq)/combinat::qQuantities::qInteger(cycle[2]-1,qq));
      end_proc;
  	
--- 392,396 ----
  	      sigma,
  	      (pol,i) -> dom::dividedDifference(pol*(dom::m(Variables[i])-qq*dom::m(Variables[i+1])),i),
! 	      (cycle) -> qq*combinat::qAnalogues::integer(cycle[2]-cycle[1]-1,qq)/combinat::qAnalogues::integer(cycle[2]-1,qq));
      end_proc;
  	
***************
*** 402,406 ****
  // 	      sigma,
  // 	      (pol,i) -> dom::dividedDifference(pol,i)*(dom::m(Variables[i])-q*dom::m(Variables[i+1])),
! // 	      cycle   -> q*combinat::qQuantities::qInteger(cycle[2]-cycle[1]-1,q)/combinat::qQuantities::qInteger(cycle[2]-1,q),
  // 	      q);
  //     end_proc;
--- 402,406 ----
  // 	      sigma,
  // 	      (pol,i) -> dom::dividedDifference(pol,i)*(dom::m(Variables[i])-q*dom::m(Variables[i+1])),
! // 	      cycle   -> q*combinat::qAnalogues::integer(cycle[2]-cycle[1]-1,q)/combinat::qAnalogues::integer(cycle[2]-1,q),
  // 	      q);
  //     end_proc;

Index: SymmetricFunctions.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXAMPLES/SymmetricFunctions.mu,v
retrieving revision 1.90
retrieving revision 1.91
diff -C2 -d -r1.90 -r1.91
*** SymmetricFunctions.mu	22 Nov 2005 09:00:40 -0000	1.90
--- SymmetricFunctions.mu	28 Nov 2005 10:04:42 -0000	1.91
***************
*** 405,409 ****
        ep   := combinat::partitions::toExp(x); 
        pols := examples::MultivariatePolynomials(l);
!       (1/(_mult(combinat::qQuantities::qFact(ep[i], varHL) $i=1..nops(ep))))
         *pols::squareDividedDifference(_mult(pols::m(l[i])^(x[i]) $i=1..nops(x)),
  								      [nops(l)-i $i=0..nops(l)-1], varHL);
--- 405,409 ----
        ep   := combinat::partitions::toExp(x); 
        pols := examples::MultivariatePolynomials(l);
!       (1/(_mult(combinat::qAnalogues::factorial(ep[i], varHL) $i=1..nops(ep))))
         *pols::squareDividedDifference(_mult(pols::m(l[i])^(x[i]) $i=1..nops(x)),
  								      [nops(l)-i $i=0..nops(l)-1], varHL);

[Mupad-combinat-commits] MuPAD-Combinat/lib/LIBFILES combinat.mu,1.100,1.101

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:57

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/LIBFILES
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4451/LIBFILES

Modified Files:
	combinat.mu 
Log Message:
Modification for the change of name of the domain qQuantities.


Index: combinat.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/LIBFILES/combinat.mu,v
retrieving revision 1.100
retrieving revision 1.101
diff -C2 -d -r1.100 -r1.101
*** combinat.mu	21 Nov 2005 09:59:59 -0000	1.100
--- combinat.mu	28 Nov 2005 09:57:39 -0000	1.101
***************
*** 81,85 ****
      hold(skewRiggings),
      hold(alternatingSignMatrices),
!     hold(qQuantities)
      }:
  
--- 81,85 ----
      hold(skewRiggings),
      hold(alternatingSignMatrices),
!     hold(qAnalogues)
      }:
  
***************
*** 87,92 ****
  alias(loaddomain=prog::loaddomain):
  alias(path = pathname("COMBINAT")):
! combinat::qQuantities :=
!     loaddomain(combinat::qQuantities, path, "qQuantities"):
  combinat::alternatingSignMatrices :=
      loaddomain(combinat::alternatingSignMatrices, path, "alternatingSignMatrices"):
--- 87,92 ----
  alias(loaddomain=prog::loaddomain):
  alias(path = pathname("COMBINAT")):
! combinat::qAnalogues :=
!     loaddomain(combinat::qAnalogues, path, "qAnalogues"):
  combinat::alternatingSignMatrices :=
      loaddomain(combinat::alternatingSignMatrices, path, "alternatingSignMatrices"):

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/TEST qAnalogues.tst,1.1,1.2

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:56

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

Modified Files:
	qAnalogues.tst 
Log Message:
bugs fixes due to the change of name.


Index: qAnalogues.tst
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/TEST/qAnalogues.tst,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** qAnalogues.tst	28 Nov 2005 09:46:08 -0000	1.1
--- qAnalogues.tst	28 Nov 2005 09:56:06 -0000	1.2
***************
*** 1,7 ****
  /*****************************************************************************
    $Id$
!   File:		lib/COMBINAT/TEST/qQuantities.tst
    Authors:	Francois Descouens <>
!   Purpose:	Test suite for the domain combinat::qQuantities
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
--- 1,7 ----
  /*****************************************************************************
    $Id$
!   File:		lib/COMBINAT/TEST/qAnalogues.tst
    Authors:	Francois Descouens <>
!   Purpose:	Test suite for the domain combinat::qAnalogues
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
***************
*** 9,20 ****
  *****************************************************************************/
  
! prog::testinit("qQuantities"):
  
! prog::test(combinat::qQuantities::qInteger(3), q^2 + q + 1):
! prog::test(combinat::qQuantities::qInteger(3, u), u^2 + u + 1):
! prog::test(combinat::qQuantities::qFact(3), (q + 1)*(q^2 + q + 1)):
  
  //////////////////////////////////////////////////////////////////////////////
! prog::testfunc(combinat::qQuantities):
  prog::testexit():
  //////////////////////////////////////////////////////////////////////////////
--- 9,20 ----
  *****************************************************************************/
  
! prog::testinit("qAnalogues"):
  
! prog::test(combinat::qAnalogues::integer(3), q^2 + q + 1):
! prog::test(combinat::qAnalogues::integer(3, u), u^2 + u + 1):
! prog::test(combinat::qAnalogues::factorial(3), (q + 1)*(q^2 + q + 1)):
  
  //////////////////////////////////////////////////////////////////////////////
! prog::testfunc(combinat::qAnalogues):
  prog::testexit():
  //////////////////////////////////////////////////////////////////////////////

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/DOC qAnalogues.mupdoc,1.1,1.2

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:56

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

Modified Files:
	qAnalogues.mupdoc 
Log Message:
bugs fixes due to the change of name.


Index: qAnalogues.mupdoc
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/DOC/qAnalogues.mupdoc,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** qAnalogues.mupdoc	28 Nov 2005 09:48:39 -0000	1.1
--- qAnalogues.mupdoc	28 Nov 2005 09:56:06 -0000	1.2
***************
*** 4,10 ****
  <!--
    $Id$
!   File:		lib/COMBINAT/DOC/qQuantities.mupdoc
    Authors:	Francois Descouens <>
!   Purpose:	Documentation for the domain combinat::qQuantities
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
--- 4,10 ----
  <!--
    $Id$
!   File:		lib/COMBINAT/DOC/qAnalogues.mupdoc
    Authors:	Francois Descouens <>
!   Purpose:	Documentation for the domain combinat::qAnalogues
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
***************
*** 15,24 ****
  <!-- extra(State)="ImplState=alpha,TestState=alpha,DocState=alpha" -->
  
! <info name='combinat::qQuantities'>
    <eng>Domain for the definitions of some q-analogues of usual integer quantities</eng>
  </info>
  
  <introduction>
!   <eng><cmd>combinat::qQuantities</cmd> represents Domain for the definitions of some q-analogues of usual integer quantities.</eng>
    <eng>...</eng>
  </introduction>
--- 15,24 ----
  <!-- extra(State)="ImplState=alpha,TestState=alpha,DocState=alpha" -->
  
! <info name='combinat::qAnalogues'>
    <eng>Domain for the definitions of some q-analogues of usual integer quantities</eng>
  </info>
  
  <introduction>
!   <eng><cmd>combinat::qAnalogues</cmd> represents Domain for the definitions of some q-analogues of usual integer quantities.</eng>
    <eng>...</eng>
  </introduction>
***************
*** 64,68 ****
  </examplesec>
  
! <changes version='3.1'><eng><cmd>combinat::qQuantities</cmd> is a new domain</eng>
  </changes>
  </datatype>
--- 64,68 ----
  </examplesec>
  
! <changes version='3.1'><eng><cmd>combinat::qAnalogues</cmd> is a new domain</eng>
  </changes>
  </datatype>

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT qAnalogues.mu,1.1,1.2

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:56

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

Modified Files:
	qAnalogues.mu 
Log Message:
bugs fixes due to the change of name.


Index: qAnalogues.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/qAnalogues.mu,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** qAnalogues.mu	28 Nov 2005 09:44:10 -0000	1.1
--- qAnalogues.mu	28 Nov 2005 09:56:06 -0000	1.2
***************
*** 1,7 ****
  /*****************************************************************************
    $Id$
!   File:		lib/COMBINAT/qQuantities.mu
    Authors:	Francois Descouens <>
!   Purpose:	Source code for the domain combinat::qQuantities
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
--- 1,7 ----
  /*****************************************************************************
    $Id$
!   File:		lib/COMBINAT/qAnalogues.mu
    Authors:	Francois Descouens <>
!   Purpose:	Source code for the domain combinat::qAnalogues
    Created:	Mon Nov 21 10:39:13 2005
    License:	LGPL
***************
*** 9,19 ****
  *****************************************************************************/
  
! domain combinat::qQuantities
  
      info_str := "Domain for the definitions of some q-analogues of usual integer quantities";
      
!     interface :={hold(qInteger), hold(qFact)};
      
!     qInteger :=
      proc(n, p=hold(q))
  	local i;      
--- 9,19 ----
  *****************************************************************************/
  
! domain combinat::qAnalogues
  
      info_str := "Domain for the definitions of some q-analogues of usual integer quantities";
      
!     interface :={hold(integer), hold(factorial)};
      
!     integer :=
      proc(n, p=hold(q))
  	local i;      
***************
*** 22,30 ****
      end_proc;
      
!     qFact    :=
      proc(n, p=hold(q))
        local i;
      begin
!       _mult(dom::qInteger(i,p) $i=1..n);
      end_proc;
      
--- 22,30 ----
      end_proc;
      
!     factorial    :=
      proc(n, p=hold(q))
        local i;
      begin
!       _mult(dom::integer(i,p) $i=1..n);
      end_proc;

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/DOC qAnalogues.mupdoc,NONE,1.1

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:48

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

Added Files:
	qAnalogues.mupdoc 
Log Message:
New name for old domain qQuantities.


--- NEW FILE: qAnalogues.mupdoc ---
<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE datatype PUBLIC "-//MuPAD//DTD DocBook XML V4.3-Based Variant//EN"
     "http://research.mupad.de/doc/xml/MuPADdoc.dtd">
<!--
  $Id: qAnalogues.mupdoc,v 1.1 2005/11/28 09:48:39 fdescouens Exp $
  File:		lib/COMBINAT/DOC/qQuantities.mupdoc
  Authors:	Francois Descouens <>
  Purpose:	Documentation for the domain combinat::qQuantities
  Created:	Mon Nov 21 10:39:13 2005
  License:	LGPL
  Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
!-->

<datatype author='Francois Descouens'>
<!-- extra(State)="ImplState=alpha,TestState=alpha,DocState=alpha" -->

<info name='combinat::qQuantities'>
  <eng>Domain for the definitions of some q-analogues of usual integer quantities</eng>
</info>

<introduction>
  <eng><cmd>combinat::qQuantities</cmd> represents Domain for the definitions of some q-analogues of usual integer quantities.</eng>
  <eng>...</eng>
</introduction>

<call><arg>...</arg><arg>...</arg></call>
<paramdesc>
  <arg>...</arg>
  <eng>...</eng>
</paramdesc>

<categories>
  <cmd>...</cmd>
  <expr><cmd>...</cmd>(...)</expr>
</categories>

<axioms>
  <cmd>...</cmd>
</axioms>

<related>
</related>

<details>
  <eng>...</eng>
</details>

<domainentry name='...'>
  <eng>...</eng>
</domainentry>

<methoddetails>
  <info name='...'><eng>...</eng></info>
  <call><arg type='...'>...</arg></call>
  <eng>Returns ...</eng>
</methoddetails>

<examplesec id='ex-basic'>
  <eng>...:</eng>
  <mexin>
  </mexin>
  <mexout>
  </mexout>
</examplesec>

<changes version='3.1'><eng><cmd>combinat::qQuantities</cmd> is a new domain</eng>
</changes>
</datatype>

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/DOC qQuantities.mupdoc,1.1,NONE

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:47

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

Removed Files:
	qQuantities.mupdoc 
Log Message:
Remove for change of name.


--- qQuantities.mupdoc DELETED ---

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/TEST qAnalogues.tst,NONE,1.1

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:46

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

Added Files:
	qAnalogues.tst 
Log Message:
New name for the old domain qQuantities.


--- NEW FILE: qAnalogues.tst ---
/*****************************************************************************
  $Id: qAnalogues.tst,v 1.1 2005/11/28 09:46:08 fdescouens Exp $
  File:		lib/COMBINAT/TEST/qQuantities.tst
  Authors:	Francois Descouens <>
  Purpose:	Test suite for the domain combinat::qQuantities
  Created:	Mon Nov 21 10:39:13 2005
  License:	LGPL
  Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
*****************************************************************************/

prog::testinit("qQuantities"):

prog::test(combinat::qQuantities::qInteger(3), q^2 + q + 1):
prog::test(combinat::qQuantities::qInteger(3, u), u^2 + u + 1):
prog::test(combinat::qQuantities::qFact(3), (q + 1)*(q^2 + q + 1)):

//////////////////////////////////////////////////////////////////////////////
prog::testfunc(combinat::qQuantities):
prog::testexit():
//////////////////////////////////////////////////////////////////////////////

prog::check(testDomain, 3):

// Local Variables:
// mode: mupad
// End:

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/TEST qQuantities.tst,1.1,NONE

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:45

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

Removed Files:
	qQuantities.tst 
Log Message:
Change of name for this domain.


--- qQuantities.tst DELETED ---

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT qAnalogues.mu,NONE,1.1

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:44

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

Added Files:
	qAnalogues.mu 
Log Message:
New name for the old domain qQuantities.


--- NEW FILE: qAnalogues.mu ---
/*****************************************************************************
  $Id: qAnalogues.mu,v 1.1 2005/11/28 09:44:10 fdescouens Exp $
  File:		lib/COMBINAT/qQuantities.mu
  Authors:	Francois Descouens <>
  Purpose:	Source code for the domain combinat::qQuantities
  Created:	Mon Nov 21 10:39:13 2005
  License:	LGPL
  Project:	MuPAD-Combinat, http://mupad-combinat.sf.net
*****************************************************************************/

domain combinat::qQuantities

    info_str := "Domain for the definitions of some q-analogues of usual integer quantities";
    
    interface :={hold(qInteger), hold(qFact)};
    
    qInteger :=
    proc(n, p=hold(q))
	local i;      
    begin
      _plus(p^i $i=0..n-1);
    end_proc;
    
    qFact    :=
    proc(n, p=hold(q))
      local i;
    begin
      _mult(dom::qInteger(i,p) $i=1..n);
    end_proc;
    
end_domain:

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT qQuantities.mu,1.2,NONE

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:43

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

Removed Files:
	qQuantities.mu 
Log Message:
Remove this domain because of change of name.


--- qQuantities.mu DELETED ---

[Mupad-combinat-commits] MuPAD-Combinat/lib/EXAMPLES MultivariatePolynomials.mu,1.7,1.8

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:38

Update of /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXAMPLES
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv32339

Modified Files:
	MultivariatePolynomials.mu 
Log Message:
Modification due to the change of name from
permutations::transpositionFromReducedWord to inversionFromReducedWordForYangBaxter.


Index: MultivariatePolynomials.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/EXAMPLES/MultivariatePolynomials.mu,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** MultivariatePolynomials.mu	22 Nov 2005 08:57:14 -0000	1.7
--- MultivariatePolynomials.mu	28 Nov 2005 09:38:00 -0000	1.8
***************
*** 377,381 ****
        for i from 1 to nops(redw) do
  	// The permutation corresponding to the i-th inversion in sigma
! 	trans := combinat::permutations::transpositionFromReducedWord(redw, i);
  	// Deciding what transposition trans is
  	cycle := op(select(combinat::permutations::cycles(trans), x->nops(x)<>1));
--- 377,381 ----
        for i from 1 to nops(redw) do
  	// The permutation corresponding to the i-th inversion in sigma
! 	trans := combinat::permutations::inversionFromReducedWordForYangBaxter(redw, i);
  	// Deciding what transposition trans is
  	cycle := op(select(combinat::permutations::cycles(trans), x->nops(x)<>1));

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT permutations.mu,1.92,1.93

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:34

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

Modified Files:
	permutations.mu 
Log Message:
Function transpositionFromReducedWord becomes
inversionFromReducedWordForYangBaxter. 
swap function used in place of mult2 with a transposition.
Tests modified for the previous change of name.


Index: permutations.mu
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/permutations.mu,v
retrieving revision 1.92
retrieving revision 1.93
diff -C2 -d -r1.92 -r1.93
*** permutations.mu	21 Nov 2005 09:35:35 -0000	1.92
--- permutations.mu	28 Nov 2005 09:34:36 -0000	1.93
***************
*** 42,46 ****
           hold(signFromInversionsNumber), hold(sign), hold(isEven),
  	 hold(reducedWord), hold(fromReducedWord),
! 	 hold(reducedWords), hold(transpositionFromReducedWord),
      // Cycles	 
  	 hold(fixedPoints), hold(fixedPointsNumber),
--- 42,46 ----
           hold(signFromInversionsNumber), hold(sign), hold(isEven),
  	 hold(reducedWord), hold(fromReducedWord),
! 	 hold(reducedWords), hold(inversionFromReducedWordForYangBaxter),
      // Cycles	 
  	 hold(fixedPoints), hold(fixedPointsNumber),
***************
*** 641,645 ****
      // This permutation is defined by redw[1]redw[2]..redw[k]redw[k-1]..redw[1]
  	
!     transpositionFromReducedWord :=
      proc(redw: combinat::words, k: Type::NonNegInt) : dom
        local res, i, n; // The length of the permutation associated to the reduced word redw
--- 641,645 ----
      // This permutation is defined by redw[1]redw[2]..redw[k]redw[k-1]..redw[1]
  	
!     inversionFromReducedWordForYangBaxter :=
      proc(redw: combinat::words, k: Type::NonNegInt) : dom
        local res, i, n; // The length of the permutation associated to the reduced word redw
***************
*** 648,655 ****
        res := [i$i=1..n];
        for i from 1 to k do
! 	res := combinat::permutations::mult2(res , dom::transposition(redw[i], redw[i]+1, n));
        end_for;
        for i from 1 to k-1 do
! 	res := combinat::permutations::mult2(res , dom::transposition(redw[k-i], redw[k-i]+1, n));
        end_for;
        return(res);
--- 648,657 ----
        res := [i$i=1..n];
        for i from 1 to k do
! 	//res := combinat::permutations::mult2(res , dom::transposition(redw[i], redw[i]+1, n));
! 	res := dom::swap(res, redw[i]);
        end_for;
        for i from 1 to k-1 do
! 	//res := combinat::permutations::mult2(res , dom::transposition(redw[k-i], redw[k-i]+1, n));
! 	res := dom::swap(res, redw[k-i]);
        end_for;
        return(res);

[Mupad-combinat-commits] MuPAD-Combinat/lib/COMBINAT/TEST permutations.tst,1.54,1.55

From: Francois Descouens <fdescouens@us...> - 2005-11-28 09:34

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

Modified Files:
	permutations.tst 
Log Message:
Function transpositionFromReducedWord becomes
inversionFromReducedWordForYangBaxter. 
swap function used in place of mult2 with a transposition.
Tests modified for the previous change of name.


Index: permutations.tst
===================================================================
RCS file: /cvsroot/mupad-combinat/MuPAD-Combinat/lib/COMBINAT/TEST/permutations.tst,v
retrieving revision 1.54
retrieving revision 1.55
diff -C2 -d -r1.54 -r1.55
*** permutations.tst	21 Nov 2005 10:00:40 -0000	1.54
--- permutations.tst	28 Nov 2005 09:34:36 -0000	1.55
***************
*** 225,232 ****
  
  //////////////////////////////////////////////////////////////////////////////
! prog::test(permutations::transpositionFromReducedWord([2,3,1,2],1),[1,3,2,4]):
! prog::test(permutations::transpositionFromReducedWord([2,3,1,2],2),[1,4,3,2]):
! prog::test(permutations::transpositionFromReducedWord([2,3,1,2],3),[3,2,1,4]):	   
! prog::test(permutations::transpositionFromReducedWord([2,3,1,2],4),[4,2,3,1]):
  
  //////////////////////////////////////////////////////////////////////////////
--- 225,232 ----
  
  //////////////////////////////////////////////////////////////////////////////
! prog::test(permutations::inversionFromReducedWordForYangBaxter([2,3,1,2],1),[1,3,2,4]):
! prog::test(permutations::inversionFromReducedWordForYangBaxter([2,3,1,2],2),[1,4,3,2]):
! prog::test(permutations::inversionFromReducedWordForYangBaxter([2,3,1,2],3),[3,2,1,4]):	   
! prog::test(permutations::inversionFromReducedWordForYangBaxter([2,3,1,2],4),[4,2,3,1]):
  
  //////////////////////////////////////////////////////////////////////////////

[Mupad-combinat-commits] Testergebnisse von Default-Version

From: MuPAD <cube@ma...> - 2005-11-28 09:09

****************************************************************************
****   Test-Auswertung, Mon, 28.Nov.2005 10:08:20
****************************************************************************

QtMuPAD successfully built

-----------------------------------------------------------------------------
Documentation:
==============

some commands have multiple definitions, see /mupad-test/MuPADTESTS/MAIN/DOC/LIB/doublecmds.xml

documented/implemented options differ, see /mupad-test/MuPADTESTS/MAIN/DOC/LIB/checkoptions.out

Documentation log (common problems)

bad refs in .../CAT/AlgebraWithBasis.mupdoc: operators::mult2, combinat::finiteClass
bad refs in .../CAT/index.mupdoc: domainref 
bad refs in .../COMBINAT/countingFunctions.mupdoc: examples::SymmetricFunctions
bad refs in .../COMBINAT/partitions.mupdoc: combinat::partitions::printPretty([5,3,1])
bad refs in .../COMBINAT/permutations.mupdoc: inversionsNumber
bad refs in .../COMBINAT/preface.mupdoc: combinat::graphs, combinat::words::fromStandard (2*)
bad refs in .../COMBINAT/singleton.mupdoc: combinat::singleton (2*)
bad refs in .../COMBINAT/trees.mupdoc: combinat::labelledTrees
bad refs in .../COMBINAT/treesGeneric.mupdoc: combinat::trees::dummyLabel
bad refs in .../DATATYPES/DOM_DOMAIN.mupdoc: domainref 
bad refs in .../DATATYPES/DOM_STRING.mupdoc:  
bad refs in .../DOM/ImageSet.mupdoc: freeIndets
bad refs in .../PLOT/ATTRIBUTES_Density.mupdoc:  
bad refs in .../PLOT/ATTRIBUTES_RadiusFunction.mupdoc:  
bad refs in .../PLOT/ATTRIBUTES_Text.mupdoc:  
bad refs in .../PLOT/ATTRIBUTES_Tubular.mupdoc:  
bad refs in .../PLOT/ATTRIBUTES_XYZFunction12.mupdoc:  
bad refs in .../PLOT/PRIMITIV_HOrbital.mupdoc:   (2*)
bad refs in .../PLOT/PRIMITIV_Polar.mupdoc:  
bad refs in .../PLOT/PRIMITIV_Rectangle2d.mupdoc:   (2*)
bad refs in .../PLOT/PRIMITIV_Streamlines.mupdoc: MinimumDistance
bad refs in .../STDLIB/LEVEL_var.mupdoc: tutorium::KapAuswertung 
bad refs in .../STDLIB/context.mupdoc: func_call (2*)
bad refs in .../STDLIB/funcenv.mupdoc: tutorium::KapProzedurenFunktionsumgebungen 
bad refs in .../STDLIB/kroneckerDelta.mupdoc: transform::invztrans (3*), transform::ztrans (2*)

Documentation log (english only problems)

bad refs in .../STDLIB/glossary.mupdoc: domainref::overloading , domainref 
bad refs in .../STDLIB/math.mupdoc: fresnelC (2*), fresnelS (2*)
bad refs in .../STDLIB/plot.mupdoc:  display
23 distinct bad refs in .../PLOT/index.mupdoc

Documentation log (german only problems)

bad refs in .../LINOPT/index.mupdoc: stdlib::export 
bad refs in .../LISTLIB/insert.mupdoc: stdlib::contains 
bad refs in .../LISTLIB/merge.mupdoc: stdlib::contains 
bad refs in .../LISTLIB/smerge.mupdoc: stdlib::contains 
bad refs in .../PLOT/INTRO_Gallery.mupdoc: Rotate2d
bad refs in .../PLOT/INTRO_PlotfuncAttributes.mupdoc: Canvas (2*)
bad refs in .../PLOT/INTRO_TheFullPicture.mupdoc: plot::
bad refs in .../PLOT/INTRO_ViewerBrowserInspector.mupdoc: plot::SectionInheritance 
bad refs in .../PLOT/PRIMITIV_Pointlist.mupdoc: plot::PointList2d, PointList3d
bad refs in .../STATS/fquantile.mupdoc: property::preface 
bad refs in .../STATS/geometri.mupdoc: stdlib::glossary  (2*)
bad refs in .../STATS/harmonic.mupdoc: stdlib::glossary  (2*)
bad refs in .../STATS/kurtosis.mupdoc: stdlib::glossary 
bad refs in .../STATS/modal.mupdoc: stdlib::glossary 
bad refs in .../STATS/obliquit.mupdoc: stdlib::glossary 
bad refs in .../STATS/quadrati.mupdoc: stdlib::glossary  (2*)
bad refs in .../STDLIB/glossary.mupdoc: domainref::overloading , stdlib::piecewise , domainref 
bad refs in .../STDLIB/math.mupdoc: fresnelC, fresnelS
bad refs in .../STDLIB/operator.mupdoc: stdlib::package 
bad refs in .../STDLIB/plotfunc2d.mupdoc: plot::Subsection2DFunctionGraphs 
bad refs in .../STDLIB/plotfunc3d.mupdoc: plot::Subsection3DFunctionGraphs 
bad refs in .../STDLIB/signIm.mupdoc: property: 
36 distinct bad refs in .../PLOT/index.mupdoc

Output changes, see check files DOC/LIB/*/{lang}/build/*.check

Documentation log (common output changes)

DATATYPES/DOM_INTERVAL.mupdoc              (4 changes)
DOM/FreeModule.mupdoc                      (2 changes)
DOM/Lodo.mupdoc                            (1 changes)
DOM/PermutationGroup.mupdoc                (9 changes)
INTLIB/addpattern.mupdoc                   (3 changes)
INTLIB/index.mupdoc                        (4 changes)
LINALG/cond.mupdoc                         (1 changes)
NUMERIC/eigenvec.mupdoc                    (1 changes)
NUMERIC/polysysroots.mupdoc                (1 changes)
NUMERIC/solve.mupdoc                       (1 changes)
PLOT/PRIMITIV_Matrixplot.mupdoc            (1 changes)
PREF/keepOrder.mupdoc                      (1 changes)
PREF/postOutput.mupdoc                     (1 changes)
PREF/warnChanges.mupdoc                    (2 changes)
PREF/warnDeadProcEnv.mupdoc                (3 changes)
PREF/warnLexProcEnv.mupdoc                 (1 changes)
PROG/changes.mupdoc                        (19 changes)
PROG/check.mupdoc                          (3 changes)
STATS/csgoft.mupdoc                        (1 changes)
STDLIB/_assign.mupdoc                      (1 changes)
STDLIB/_fconcat.mupdoc                     (1 changes)
STDLIB/_frame.mupdoc                       (1 changes)
STDLIB/_procdef.mupdoc                     (3 changes)
STDLIB/alias.mupdoc                        (2 changes)
STDLIB/anames.mupdoc                       (1 changes)
STDLIB/args.mupdoc                         (3 changes)
STDLIB/combine.mupdoc                      (1 changes)
STDLIB/diff.mupdoc                         (1 changes)
STDLIB/dirac.mupdoc                        (1 changes)
STDLIB/elliptic.mupdoc                     (2 changes)
STDLIB/end.mupdoc                          (1 changes)
STDLIB/freeze.mupdoc                       (2 changes)
STDLIB/funcenv.mupdoc                      (3 changes)
STDLIB/help.mupdoc                         (2 changes)
STDLIB/hold.mupdoc                         (3 changes)
STDLIB/hull.mupdoc                         (6 changes)
STDLIB/hypFuncs.mupdoc                     (2 changes)
STDLIB/indets.mupdoc                       (2 changes)
STDLIB/int.mupdoc                          (6 changes)
STDLIB/interval.mupdoc                     (2 changes)
STDLIB/invhypFuncs.mupdoc                  (1 changes)
STDLIB/invtrigFuncs.mupdoc                 (5 changes)
STDLIB/kroneckerDelta.mupdoc               (5 changes)
STDLIB/last.mupdoc                         (1 changes)
STDLIB/ln.mupdoc                           (1 changes)
STDLIB/log.mupdoc                          (1 changes)
STDLIB/map.mupdoc                          (1 changes)
STDLIB/newSimplify.mupdoc                  (5 changes)
STDLIB/norm.mupdoc                         (2 changes)
STDLIB/ode.mupdoc                          (3 changes)
STDLIB/pre_if.mupdoc                       (2 changes)
STDLIB/print.mupdoc                        (16 changes)
STDLIB/product.mupdoc                      (1 changes)
STDLIB/radsimp.mupdoc                      (1 changes)
STDLIB/rationalize.mupdoc                  (2 changes)
STDLIB/rewrite.mupdoc                      (1 changes)
STDLIB/round.mupdoc                        (4 changes)
STDLIB/series.mupdoc                       (7 changes)
STDLIB/simplify.mupdoc                     (1 changes)
STDLIB/strmatch.mupdoc                     (13 changes)
STDLIB/subsex.mupdoc                       (1 changes)
STDLIB/trigFuncs.mupdoc                    (2 changes)
STDLIB/val.mupdoc                          (1 changes)
STDLIB/warning.mupdoc                      (2 changes)
STDLIB/write.mupdoc                        (1 changes)
STRINGLIB/collapse.mupdoc                  (2 changes)
STRINGLIB/subs.mupdoc                      (2 changes)

Documentation log (english only output changes)

STDLIB/ftextinput.mupdoc                   (1 changes)

-----------------------------------------------------------------------------

Errors in linux/lean_pro kernel test:
                 env_var.mu.false

-----------------------------------------------------------------------------


No error in module tests.

-----------------------------------------------------------------------------


No error in binary library tests.

-----------------------------------------------------------------------------

Results of library tests:

          All bugs counted in the categories New, Old or Ext
          have to be fixed or have to be registered IMMEDIATELY!

          All lines with a marker '#' or '?' in the Ana or Reg
          field have to be analysed IMMEDIATELY.

          '#' marks registered bugs which do not occur any more.
          '?' marks tests with an unknown registration flag.


Missing prog::test in library tests:
*** No prog::testexit seen in Combinat/lib/DOC/toFrobenius for linux/lean_pro/mupad


Errors in all library tests:

  New  Old ToDo  Ana  Reg    All   Ext   Filename
---------------------------------------------------------
    .    .    .    .    .      .     .   Combinat/lib/DOC/toFrobenius
    .    2    .    .    .      2     2   Combinat/lib/DOMAINS/CATEGORY/TEST/LeftAModuleWithBasis
    .   64    .    .    .     75    21   Combinat/lib/DOMAINS/CATEGORY/TEST/ModuleWithSeveralBases
    .   11    .    .    .     16     .   Combinat/lib/DOMAINS/DOMAIN/TEST/AlgebraWithBasis_Table
    .    9    .    .    .     10     1   Combinat/lib/DOMAINS/DOMAIN/TEST/AlternatingGroup
    .    1    .    .    .      1     .   Combinat/lib/DOMAINS/DOMAIN/TEST/ExpressionFieldWithDegreeOneElements
    .    .    .    1    .    830     .   Combinat/lib/DOMAINS/DOMAIN/TEST/FreeModule
    .    8    .    .    .      8     8   Combinat/lib/DOMAINS/DOMAIN/TEST/GraphAddon
    .   87    .    .    .     92     7   Combinat/lib/DOMAINS/DOMAIN/TEST/PermutationGroupInvariantRing
    .   15    .    .    .     17     3   Combinat/lib/DOMAINS/DOMAIN/TEST/PermutationGroupOnSets
    .    3    .    .    .      7     5   Combinat/lib/DOMAINS/DOMAIN/TEST/QuotientFreeModule
    .    4    .    .    .      6     .   Combinat/lib/DOMAINS/DOMAIN/TEST/SemiRing
    .   17    .    .    .     24     .   Combinat/lib/DOMAINS/DOMAIN/TEST/SteenrodAlgebraP
    .    5    .    .    .      9     4   Combinat/lib/DOMAINS/DOMAIN/TEST/SubFreeModule
    .    1    .    .    .      5     5   Combinat/lib/DOMAINS/DOMAIN/TEST/TensorAlgebra
    .   25    .    .    .     29     5   Combinat/lib/DOMAINS/DOMAIN/TEST/WeightedAutomaton
    .   15    .    .    .     17     .   Combinat/lib/DOMAINS/DOMAIN/TEST/WeylAlgebra
    .    5    .    .    .      5     1   Combinat/lib/EXAMPLES/TEST/BasicSemiRing
    .   27    .    .    .     29     3   Combinat/lib/EXAMPLES/TEST/FreeQuasiSymmetricFunctions
    .   15    .    .    .     15     1   Combinat/lib/EXAMPLES/TEST/GraphQuasiSymmetricFunctions
    .   24    .    .    .     24     8   Combinat/lib/EXAMPLES/TEST/LodayRoncoAlgebra
    .    5    1    .    .      6    10   Combinat/lib/EXAMPLES/TEST/MultivariatePolynomials
    .    2    .    .    .      2     5   Combinat/lib/EXAMPLES/TEST/NonCommutativeSymmetricFunctions
    .   11    .    .    .     14    11   Combinat/lib/EXAMPLES/TEST/PreLieOperad
    .    5    .    .    .     10    10   Combinat/lib/EXAMPLES/TEST/QuasiSymmetricFunctions
    .   33    .    .    .     33     5   Combinat/lib/EXAMPLES/TEST/QuiverWithRelationsAlgebra
    .    9    3    .    .     25    16   Combinat/lib/EXAMPLES/TEST/SymmetricFunctions
    .    3    .    .    .      3     2   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsAlphabets
    .  623    .    .    .    623     2   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsOperators
    .    2    .    .    .      8     9   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsPlethysms
    .    8    .    .    .     20    15   Combinat/lib/EXAMPLES/TEST/SymmetricPolynomials
    .    7    .    .    .     10     9   Combinat/lib/EXPERIMENTAL/TEST/FreeOperad
    .   45    .    .    .     50    13   Combinat/lib/EXPERIMENTAL/TEST/HeckeSymmetricGroupAlgebra
    .   23    .    .    .     23     1   Combinat/lib/EXPERIMENTAL/TEST/PBT
    .   51    .    .    .     51    22   Combinat/lib/EXPERIMENTAL/TEST/RQuasiSymmetricFunctions
    .    2    .    .    .      3     2   Combinat/lib/EXPERIMENTAL/TEST/Schur
    .   62    .    .    .     69    14   Combinat/lib/EXPERIMENTAL/TEST/Steenrod
    .    8    .    .    .     13     6   Combinat/lib/EXPERIMENTAL/TEST/YangBaxterGraph
    .   40    .    .    .     41     2   Combinat/lib/MUEC/TEST/muEC
    .   14    .    .    .     14     .   Combinat/lib/PROG/TEST/partialSpecialization
    .   10    .    .    .     10     5   Combinat/lib/PROG/TEST/testUnit
    .    2    .    .    .      2     .   Combinat/lib/PROG/TEST/timeThis
    .    2    .    .    .     46     4   Combinat/lib/TEST/mupad
    .   16    .    .    .     16     3   Combinat/src/GLIP-module/GLIP
    .   54    .    .    .     54     3   Combinat/src/MAPITL/MAPITL
    .   21    .    .    .     21     2   Combinat/src/MAPITL/TEST/MAPITL
    .    5    1    .    .      6     1   Combinat/src/Symmetrica-module/Symmetrica
    .   14    .    .    .     14     1   Combinat/src/gordan/gordan
    .    3    .    .    .      3     1   Combinat/src/lrcalc-module/lrcalc
    .   28    .    .    .     58    32   Combinat/src/nauty-module/Nauty
    .    .    3    .    .     71     .   DOMAINS/DOMAIN/TEST/ImageSet
    .    1    .    .    .     57     .   DOMAINS/DOMAIN/TEST/LinFun
    .    8    .    .    .     59     .   IMPORT/TEST/readbitmap
    .    .    8    .    .    512     .   INTERVAL/TEST/eval
    .    .    .    .    .      .     .   INTERVAL/TEST/intTaylor
    .    2    .    .    .     14     .   INTLIB/SPECFUNC/TEST/diracInt
    .   18    .    .    .    420     .   INTLIB/SPECFUNC/TEST/diracInt2
    .    2    .    .    .      9     .   INTLIB/TEST/addpattern
    .    2    .    2    4     26     .   INTLIB/TEST/lookups2
    .    2    1    .    3     20     .   INTLIB/TEST/zwillinger
    .    3    .    .    .     20     .   NUMERIC/TEST/floatsum
    .    2    .    .    .      3     .   ODE/LIOUVILL/TEST/2ndOrder
    .    1    .    .    .     29     .   ODE/TEST/1storderChini
    .   12    .    1    .     50     .   ODE/TEST/2ndorder
    .    1    .    .    .     49     .   ODE/TEST/linear
    .    .    2    2    .      8     .   ODE/TEST/odebugs
    .    1    .    .    .    817     .   OUTPUT/TEST/Content
    .    .    .    .    3    435     .   PROP/TEST/IV
    .    .    .   15    .   1371     .   PROP/TEST/Residue
    .    .    .    1    1     34     .   PROP/TEST/bugs
    .    .    1    1    .     60     .   PROP/TEST/is
    .    .    .    .    1     40     .   PROP/TEST/realroots2
    .    .    .    1    .    148     .   PROP/TEST/simpex
    .    .    .    .    1     25     .   REC/TEST/rsolve
    .    .    .    1    .     36     .   SERIES/TEST/CiSi
    .    .    .    .    6     17     .   SERIES/TEST/Puiseuxbugs
    .    .    .    2    .     89     .   SERIES/TEST/Si
    .    2    .    1    .     67     .   SERIES/TEST/gseries
    .    .    .    1    .     25     .   SERIES/TEST/sin
    .    .    .    .    2      8     .   SIMPLIFY/TEST/_and
    .    .    .    .    4    115     .   SIMPLIFY/TEST/equivalent
    .    .    .    .    1      9     .   SIMPLIFY/TEST/pentag
    .    .    .    .   14     40     .   SIMPLIFY/TEST/simpex
    .    .    .    1    4     30     .   SIMPLIFY/TEST/simplify
    .    .    .    .    1      3     .   SIMPLIFY/TEST/simplifysinh
    .    1    .    .    .      6     .   SOLVELIB/TEST/condsort
    .    5   17    .   21    236     .   SOLVELIB/TEST/eqsReal
    .    1    .   32   12    391     .   SOLVELIB/TEST/ineqsReal
    .    1    .    .    .    163     .   SOLVELIB/TEST/poly
    .    1    .    1    1     38     .   SOLVELIB/TEST/system
    .    .    .    .    .    433     .   SPECFUNC/TEST/abs
    .    .    .    .    4    352     .   SPECFUNC/TEST/airy
    .    .    .    .    .  10009     .   SPECFUNC/TEST/ceil
    .    .    .    .    .    607     .   STATS/TEST/logisticcdf
    .    .    .    .    .    459     .   STATS/TEST/logisticquantil
    .    .    .    .    .    285     .   STATS/TEST/weibullcdf
    .    .    .    .    .    820     .   STATS/TEST/weibullquantil
    .    .    .    .    2     35     .   STDLIB/TEST/_index
    .    1    .    4    1     41     .   STDLIB/TEST/discont
    .    1    .    .    .     74     2   STDLIB/TEST/factor
    .   11    .    1    4     29     .   STDLIB/TEST/intdef
    .    .    .    .    4  12016     .   STDLIB/TEST/minmax
    .    .    .    .    1     21     .   STDLIB/TEST/piecewis
    .    .    .    8    .     39     .   STDLIB/TEST/product
    .    .    .    .    1     24     .   STDLIB/TEST/radsimp
    .    .    .    .    2     26     .   STDLIB/TEST/seriesbugs
    .    6    .    4   13    120     .   STDLIB/TEST/solve
    .    1    .    .    .     15     .   STDLIB/TEST/solve2
    .    5    .   10#  14    203     .   STDLIB/TEST/sum
    .    .    .    .    5    193     .   STDLIB/TEST/testeq
    .    1    .    .    .      4     .   STRINGLIB/TEST/remove
    .   14    .    .    .   1040     .   STRINGLIB/TEST/subs
    .    .    .    .    2     37     .   TESTSUITE/CTTest
    .    1    .    .    5     19     .   TESTSUITE/Fakler
    .    1    .    .    5     48     .   TESTSUITE/Graubner
    1    6    .    .    1    317     .   TESTSUITE/TCI13_14
    .    .    .    1    .     47     .   TESTSUITE/Tonisson
    .    2    1    6   10    165     .   TESTSUITE/Wester
    .    4    5   20   12    296     .   TESTSUITE/Wester_A-M
    .    .    .    1    1      2     .   TESTSUITE/Wester_endless
    .    1    .    .    1    434     .   TRANS/TEST/laplace
    .    2    .    .    .     30     .   TRANS/TEST/laplace2
    .    .    .    .    .      1     .   TYPE/TEST/ArithmeticalTimer
    .    .    .    1    .    139     .   UNIT/TEST/unit
    .    .    .    .    .      .     .   analygeo/lib/analygeo/TEST/analygeo


Errors in linux/dist library test:

  New  Old ToDo  Ana  Reg    All   Ext   Filename
---------------------------------------------------------
    .    5    .    .    .      8     7   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsBases
    .    7    .    .    .     46     .   INTLIB/DEFINITE/TEST/intdef
    .   13    .    .    .     43     .   INTLIB/DEFINITE/TEST/intdef1
    .   13    .    .    .     28     .   INTLIB/TEST/lookups
    1    4    .    8#   3     56     .   INTLIB/TEST/lookups3
    1    3    .    .    .     52     .   INTLIB/TEST/lookups_sincos
    .    7    .    .    .     17     .   INTLIB/TEST/suite
    .    2    .   10    .     44     .   ODE/NONLIOUVILL/TEST/nonliouv
    .    2    .    3    .     70     .   ODE/TEST/1storder
    .   31    1    .    .     56     .   ODE/TEST/2ndorderintfact
    .    7    .    .    .     26     .   ODE/TEST/higherorder
    .    2    1    .    .     81     .   ODE/TEST/systems
    .    .    .    2    2    171     .   PROP/TEST/property
    .    8    .    1    1     91     .   SOLVELIB/TEST/ineqs
    .    .    .    .    .    497     .   STATS/TEST/weibullpdf
    .    3    .    .    .      .     .   STDLIB/TEST/int
    .    3    4   15   19    246     .   STDLIB/TEST/limit
    .    4    .    2    4     54     .   TESTSUITE/BarrySimon
    .   40    .   18   59    321     9   TESTSUITE/Wester_N-Z+a-d
    .    1    .    .    1     38     .   bernina/lib/BERNINA/TEST/bernina


Errors in linux/lean_pro library test:

  New  Old ToDo  Ana  Reg    All   Ext   Filename
---------------------------------------------------------
    .    5    .    .    .      8     6   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsBases
    .    7    .    .    .     46     .   INTLIB/DEFINITE/TEST/intdef
    .   13    .    .    .     43     .   INTLIB/DEFINITE/TEST/intdef1
    2   12    .    .    .     28     .   INTLIB/TEST/lookups
    .    5    .    8#   3     56     .   INTLIB/TEST/lookups3
    4    3    .    .    .     52     .   INTLIB/TEST/lookups_sincos
    .    7    .    .    .     17     .   INTLIB/TEST/suite
    .   14    .   10    .     44     .   ODE/NONLIOUVILL/TEST/nonliouv
    1    2    .    3    .     70     .   ODE/TEST/1storder
    .   31    1    .    .     56     .   ODE/TEST/2ndorderintfact
    .   11    .    .    .     26     .   ODE/TEST/higherorder
    .    2    1    .    .     81     .   ODE/TEST/systems
    1    .    .    .    .   7290     .   PLOT/TEST/SurfaceBorderCases
    .    .    .    2    2    171     .   PROP/TEST/property
    .    8    .    1    2     91     .   SOLVELIB/TEST/ineqs
    .    .    .    .    .    497     .   STATS/TEST/weibullpdf
    .   62    .    1    .    153     .   STDLIB/TEST/int
    1    3    4   15   19    246     .   STDLIB/TEST/limit
    .    4    .    2    4     54     .   TESTSUITE/BarrySimon
    1   38    .   18   57#   321     7   TESTSUITE/Wester_N-Z+a-d
    .    1    .    1    1     38     .   bernina/lib/BERNINA/TEST/bernina


Errors in linux/leandbg_pro library test:

  New  Old ToDo  Ana  Reg    All   Ext   Filename
---------------------------------------------------------
    .    5    .    .    .      8     6   Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsBases
    .    .    .    .    .    198     .   DOMAINS/DOMAIN/TEST/SparseMatTimer1
    1    6    .    .    .     46     .   INTLIB/DEFINITE/TEST/intdef
    .   10    .    .    .      .     .   INTLIB/DEFINITE/TEST/intdef1
    .    3    .    .    .      .     .   INTLIB/TEST/lookups
    .    4    .    8#   3     56     .   INTLIB/TEST/lookups3
    2    8    .    .    .     52     .   INTLIB/TEST/lookups_sincos
    .    .    .    .    .      .     .   INTLIB/TEST/sub
    .    .    .    .    .      .     .   INTLIB/TEST/suite
    .    .    .    .    .      .     .   NUMERIC/TEST/int
    .    1    .    .    .      .     .   ODE/NONLIOUVILL/TEST/nonliouv
    .    .    .    .    .      .     .   ODE/SERIES/TEST/series
    .    3    .    3    .     70     .   ODE/TEST/1storder
    .    .    .    .    .      .     .   ODE/TEST/2ndorderintfact
    .   11    .    .    .     26     .   ODE/TEST/higherorder
    1    1    .    .    .      .     .   ODE/TEST/systems
    .    2    .    2    2    171     .   PROP/TEST/property
    .    4    .    1    .      .     .   SOLVELIB/TEST/ineqs
    .    1    .    .    .      .     .   STDLIB/TEST/int
    .    4    4   15   19    246     .   STDLIB/TEST/limit
    1    1    .    2    2      .     .   TESTSUITE/BarrySimon
    4    1    .   13   43#     .     .   TESTSUITE/Wester_N-Z+a-d
    .    1    .    1    1      .     .   bernina/lib/BERNINA/TEST/bernina


Warnings in all library tests:
                               1         COMBINAT/TEST/MachineIntegerListsLex
                               1         COMBINAT/TEST/graphs
                               1         COMBINAT/TEST/lrcalc
                               1         Combinat/lib/COMBINAT/TEST/MachineIntegerListsLex
                               1         Combinat/lib/COMBINAT/TEST/graphs
                               1         Combinat/lib/COMBINAT/TEST/lrcalc
                               1         Combinat/lib/DOMAINS/CATEGORY/TEST/ModuleWithSeveralBases
                               1         Combinat/lib/EXAMPLES/TEST/SymmetricFunctions
                               1         Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsAlphabets
                               1         Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsBases
                               1         Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsOperators
                               1         Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsPlethysms
                               1         Combinat/lib/EXPERIMENTAL/TEST/LandoHopfAlgebra
                               1         Combinat/lib/IPC/TEST/IPC
                               3         Combinat/lib/PROG/TEST/loaddomain
                               1         Combinat/src/MAPITL/MAPITL
                               1         Combinat/src/MAPITL/TEST/MAPITL
                               2         DOMAINS/DOMAIN/TEST/DenseMatrix
                               2         DOMAINS/DOMAIN/TEST/Lodo
                               2         INTLIB/TEST/lookups3
                               2         INTLIB/TEST/zwillinger
                               2         LINALG/TEST/minpoly
                               2         LINALG/TEST/potential
                               2         NUMERIC/TEST/floatsum
                               1         NUMERIC/TEST/realroots_arccosh
                               1         NUMERIC/TEST/realroots_cos
                               1         NUMERIC/TEST/realroots_cosh
                               1         NUMERIC/TEST/realroots_cot
                               1         NUMERIC/TEST/realroots_exp
                               1         NUMERIC/TEST/realroots_sin
                               1         NUMERIC/TEST/realroots_sinh
                               1         NUMERIC/TEST/realroots_tan
                               2         NUMERIC/TEST/solve
                               1         ODE/NONLIOUVILL/TEST/nonliouv
                               1         ODE/TEST/1storderChini
                               5         ODE/TEST/2ndorder
                               2         ODE/TEST/higherorder
                               5         ODE/TEST/initcond
                               7         ODE/TEST/linear
                               1         ODE/TEST/solve1
                               2         ORTHPOLY/TEST/hermite
                               2         PLOT/TEST/Curve3d
                               2         PLOT/TEST/Curve3dAdaptive
                               2         PLOT/TEST/Function2d
                               2         PLOT/TEST/Function2dAdaptive
                               2         PLOT/TEST/Function3dBorderCases
                               2         PLOT/TEST/Raster
                               3         PROG/TEST/loaddomain
                               2         PROP/TEST/bugs
                               2         SERIES/TEST/Si
                               2         SERIES/TEST/arccot
                               2         SERIES/TEST/erf
                               2         SERIES/TEST/erfc
                               1         SERIES/TEST/sin
                               2         SIMPLIFY/TEST/simplifyexp
                               5         SOLVELIB/TEST/system
                               1         SPECFUNC/TEST/abs
                               2         SPECFUNC/TEST/besselSeries
                               1         SPECFUNC/TEST/ceil
                               2         STATS/TEST/geometricquantile
                               1         STATS/TEST/logisticcdf
                               1         STATS/TEST/weibullcdf
                               1         STATS/TEST/weibullquantil
                               2         STDLIB/SIMPLIFY/TEST/simplifyexp
                               2         STDLIB/TEST/asympt
                               2         STDLIB/TEST/combine
                               2         STDLIB/TEST/intdef
                               1         STDLIB/TEST/linsolve
                               8         STDLIB/TEST/solve
                               2         STDLIB/TEST/sum
                               2         TESTSUITE/BarrySimon1990
                               2         TESTSUITE/CTTest
                               1         TESTSUITE/Graubner
                               2         TESTSUITE/MacKichan
                               2         TESTSUITE/TCI13_14
                               1         TESTSUITE/TCI1_2
                               1         TESTSUITE/TCI7_8
                               2         TESTSUITE/Tonisson
                               2         TESTSUITE/Wester_A-M


Warnings in linux/dist library test:
                              17         COMBINAT/TEST/decomposableObjects
                              17         Combinat/lib/COMBINAT/TEST/decomposableObjects
                               1         Combinat/lib/COMBINAT/TEST/tableaux
                               1         IMPORT/TEST/readbitmap
                               1         INTLIB/DEFINITE/TEST/intdef1
                               2         INTLIB/TEST/lookups
                               2         INTLIB/TEST/sub
                               1         LINALG/TEST/lsolveLU
                               1         NUMERIC/TEST/indets
                               2         NUMERIC/TEST/int
                               1         NUMERIC/TEST/realroots_combo1
                               1         NUMERIC/TEST/realroots_poly
                               2         ODE/SERIES/TEST/series
                               4         ODE/TEST/systems
                               2         OUTPUT/TEST/Content
                               2         PLOT/TEST/Curve2d
                               1         PLOT/TEST/Function3dSingular
                               2         PLOT/TEST/SurfaceBorderCases
                               1         PROP/TEST/floatcheck
                               1         PROP/TEST/simpex
                               2         SERIES/TEST/Ci
                               1         SERIES/TEST/Puiseux_subs1
                               1         SIMPLIFY/TEST/complexity
                               2         SOLVELIB/TEST/ineqs
                               1         SPECFUNC/TEST/trunc
                               1         STATS/TEST/erlangpdf
                               2         STATS/TEST/logisticquantil
                               2         STATS/TEST/weibullpdf
                               2         STDLIB/FLOAT/TEST/meijerGigamma
                               1         STDLIB/TEST/diff
                               2         STDLIB/TEST/minmax
                               2         STRINGLIB/TEST/subs
                               2         TESTSUITE/BarrySimon
                               2         TESTSUITE/TCI3_4
                               2         TESTSUITE/Wester
                               2         TESTSUITE/Wester_N-Z+a-d
                               1         TRANS/TEST/laplace
                               3         TRANS/TEST/laplace2
                               2         TYPE/TEST/ArithmeticalTimer


Warnings in linux/lean_pro library test:
                              19         COMBINAT/TEST/decomposableObjects
                               1         COMBINAT/TEST/tableaux
                              17         Combinat/lib/COMBINAT/TEST/decomposableObjects
                               1         Combinat/lib/COMBINAT/TEST/tableaux
                               1         DOMAINS/DOMAIN/TEST/Interval
                               2         INTERVAL/TEST/eval
                               2         INTLIB/DEFINITE/TEST/intdef1
                               2         INTLIB/TEST/lookups
                               2         INTLIB/TEST/sub
                               1         NUMERIC/TEST/indets
                               2         NUMERIC/TEST/int
                               2         NUMERIC/TEST/realroots
                               1         NUMERIC/TEST/realroots_ln
                               2         ODE/SERIES/TEST/series
                               4         ODE/TEST/systems
                               2         OUTPUT/TEST/Content
                               2         PLOT/TEST/Curve2d
                               2         PLOT/TEST/Function3dSingular
                               1         PLOT/TEST/Scatterplot
                               2         PROP/TEST/floatcheck
                               1         PROP/TEST/getprop
                               1         PROP/TEST/simpex
                               2         SERIES/TEST/Puiseux_subs1
                               1         SERIES/TEST/arctan
                               1         SERIES/TEST/sqrt
                               1         SIMPLIFY/TEST/complexity
                               2         SOLVELIB/TEST/ineqs
                               2         SPECFUNC/TEST/erf
                               1         SPECFUNC/TEST/trunc
                               1         STATS/TEST/cauchyrand
                               2         STATS/TEST/empiricalquantile
                               1         STATS/TEST/geometricrand2
                               2         STATS/TEST/logisticquantil
                               2         STATS/TEST/weibullpdf
                               2         STDLIB/TEST/int
                               2         STRINGLIB/TEST/subs
                               2         TESTSUITE/BarrySimon
                               1         TESTSUITE/Fakler
                               2         TESTSUITE/TCI3_4
                               1         TESTSUITE/Wester
                               3         TESTSUITE/Wester_N-Z+a-d
                               2         TESTSUITE/Wester_endless
                               2         TRANS/TEST/laplace
                               4         TRANS/TEST/laplace2
                               2         TYPE/TEST/ArithmeticalTimer


Warnings in linux/leandbg_pro library test:
                              17         COMBINAT/TEST/decomposableObjects
                               2         COMBINAT/TEST/integerMatrices
                              19         Combinat/lib/COMBINAT/TEST/decomposableObjects
                               1         DOMAINS/DOMAIN/TEST/Interval
                               1         DOMAINS/DOMAIN/TEST/SparseMatTimer1
                               1         GENERATE/TEST/TeX
                               1         IMPORT/TEST/readbitmap
                               1         INTLIB/TEST/hint2
                               1         LINALG/TEST/lsolveLU
                               1         LINALG/TEST/vandermonde
                               2         NUMERIC/TEST/indets
                               1         NUMERIC/TEST/realroots_arccos
                               1         NUMERIC/TEST/realroots_arccoth
                               1         NUMERIC/TEST/realroots_arcsin
                               1         NUMERIC/TEST/realroots_arcsinh
                               1         NUMERIC/TEST/realroots_arctanh
                               1         NUMERIC/TEST/realroots_combo1
                               1         NUMERIC/TEST/realroots_combo2
                               1         NUMERIC/TEST/realroots_ln
                               1         ODE/TEST/systems
                               1         PLOT/TEST/Curve2d
                               2         PLOT/TEST/MatrixInput
                               1         PLOT/TEST/Polygon2d
                               1         PLOT/TEST/Polygon3d
                               1         PLOT/TEST/Scatterplot
                               2         PLOT/TEST/SurfaceBorderCases
                               2         PROP/TEST/simpex
                               1         REC/TEST/rsolve
                               2         SERIES/TEST/Ci
                               1         SERIES/TEST/lambertW-1
                               1         SERIES/TEST/lambertW0
                               1         SERIES/TEST/lambertW1
                               1         SERIES/TEST/lambertW7
                               1         SOLVELIB/TEST/poly
                               1         SPECFUNC/TEST/Ei
                               1         SPECFUNC/TEST/beta
                               1         SPECFUNC/TEST/kummer2
                               1         SPECFUNC/TEST/log
                               2         SPECFUNC/TEST/trunc
                               1         STATS/TEST/betacdf
                               1         STATS/TEST/betapdf
                               1         STATS/TEST/betaquantil
                               1         STATS/TEST/betaquantile
                               1         STATS/TEST/binomialquantile
                               1         STATS/TEST/empiricalquantile
                               1         STATS/TEST/erlangpdf
                               1         STATS/TEST/logisticquantil
                               1         STATS/TEST/normalquantil
                               1         STATS/TEST/swgoft3b
                               1         STATS/TEST/tpdf
                               1         STATS/TEST/tquantil
                               1         STDLIB/FLOAT/TEST/DIGITStimer
                               1         STDLIB/FLOAT/TEST/hypergeom1F1b
                               1         STDLIB/FLOAT/TEST/hypergeom1F1d
                               1         STDLIB/FLOAT/TEST/hypergeom1F1der
                               1         STDLIB/FLOAT/TEST/meijerGbesselY
                               1         STDLIB/FLOAT/TEST/meijerGigamma
                               1         STDLIB/SIMPLIFY/TEST/simplifyhyp
                               1         STDLIB/SIMPLIFY/TEST/simplifyln
                               2         STDLIB/TEST/combinelog
                               1         STDLIB/TEST/diff
                               1         TESTSUITE/Fakler
                               4         TRANS/TEST/laplace2
                               3         TYPE/TEST/ArithmeticalTimer


Relative time changes in linux/lean_pro library test.
The second value is the relative change since the previous test:
                  -50%          0% relative  COMBINAT/TEST/tableaux
                  -40%          0% relative  Combinat/lib/COMBINAT/TEST/tableaux
                 -100%          0% relative  Combinat/lib/DOMAINS/CATEGORY/TEST/ModuleWithSeveralBases
                 -100%          0% relative  Combinat/lib/EXAMPLES/TEST/SymmetricFunctions
                 -100%          0% relative  Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsAlphabets
                 -100%          0% relative  Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsBases
                 -100%          0% relative  Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsOperators
                 -100%          0% relative  Combinat/lib/EXAMPLES/TEST/SymmetricFunctionsPlethysms
                  -60%          0% relative  NUMERIC/TEST/realroots_arccosh
                  -60%          0% relative  NUMERIC/TEST/realroots_cos
                  -80%          0% relative  NUMERIC/TEST/realroots_cosh
                  -60%          0% relative  NUMERIC/TEST/realroots_cot
                  -80%          0% relative  NUMERIC/TEST/realroots_exp
                  -50%          0% relative  NUMERIC/TEST/realroots_ln
                  -50%          0% relative  NUMERIC/TEST/realroots_sin
                  -80%          0% relative  NUMERIC/TEST/realroots_sinh
                  -50%          0% relative  NUMERIC/TEST/realroots_tan
                  -60%          0% relative  PLOT/TEST/Function2dLog
                 -100%          0% relative  SIMPLIFY/TEST/complexity
                  -40%          0% relative  STATS/TEST/cauchyrand
                  -40%          0% relative  STATS/TEST/geometricrand2
                  -50%          0% relative  STATS/TEST/meandev
                  -50%          0% relative  STDLIB/TEST/piecewis
                  -50%          0% relative  TESTSUITE/Fakler
                  -70%          0% relative  TESTSUITE/TCI1_2
                  -60%          0% relative  TESTSUITE/TCI7_8

-----------------------------------------------------------------------------

Files changed today:

SIMPLIFY/METHODS/trySolve.mu
M .MMMinit

M LIB/STDLIB/options.mupdoc

QT/MUPAD/mupadpro_de.ts
M FTP/share/bin/mupad
M CONTRIB/UDXF-0.46/Makefile.MuPAD
M CONTRIB/ZLIB-1.2.3/Makefile
M CONTRIB/ZLIB-1.2.3/zconf.h
-----------------------------------------------------------------------------

Output of prog::check:

Warnings: 1 [package]
Global idents: {res} in [MathContent, MathContent::create]
Warnings: 1 [MathContent]
Global idents: {calledFromWithinDSolve} in [intlib, intlib::lookup]
Warnings: 4 [intlib]
Warnings: 1 [ode]
Warnings: 1 [prog]
*** All warnings: 8 (0) [All] ***

Warnings in library domains:


bytes used:           [57261576, 64628988, 2147483647]
anames(All, User):    {}
anames(Properties):   {}

Opening package "demoPack1"...
Checking package "demoPack1"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "demoPack2"...
Checking package "demoPack2"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "zaurus"...
Checking package "zaurus"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "geometrie"...
Checking package "geometrie"...
Global idents: {point} in [geometrie, geometrie::Punkt, geometrie::Punkt::pkt2pt]
Warnings: 1 [geometrie]


anames(All, User):    {}
anames(Properties):   {}

Opening package "checkdoc"...
Checking package "checkdoc"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "bernina"...
Checking package "bernina"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "mcs"...
Warning: 'mathrenderer.exe' must be installed in MuPAD 'bin' folder. [pack\
age];
while reading file '/mupad-test/MuPADTESTS/MAIN/DEV/packages/mcs/lib/init.\
mu'
Checking package "mcs"...
Global idents: {``} in [mcs, mcs::xmlEncode1]
Warnings: 1 [mcs]


anames(All, User):    {}
anames(Properties):   {}

Opening package "doc"...
Checking package "doc"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "analygeo"...
Checking package "analygeo"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "schrittrechner"...
Checking package "schrittrechner"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "resol"...
Checking package "resol"...
Warnings: 1 [ode]


anames(All, User):    {}
anames(Properties):   {}

Opening package "domlib"...
Checking package "domlib"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "tools"...
Checking package "tools"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "javaview"...
Checking package "javaview"...


anames(All, User):    {}
anames(Properties):   {}

Opening package "java"...
Checking package "java"...
Error: loadDLL failed [initJVM]
Error: illegal argument: First

Next Messages