*----*    MuPAD 2.0.0 -- The Open Computer Algebra System
  /|   /|
 *----* |    Copyright (c)  1997 - 2000  by SciFace Software
 | *--|-*                   All rights reserved.
 |/   |/
 *----*      Licensed to:   Nicolas M. Thiery

>> read("testDegreeBounds.mu"): compTGroupF(5,2,0):quit

            proc InvariantRingTransitiveGroup(n, i, p) ... end
Info: Computation of the invariant ring of the 2nd transitive permutation \
group on 5 variables in characteristic 0.
Info: Module GLIP version 0.4 ready. Type GLIP::doc(); for usage informati\
on.
Info: ====================================================================\
==========
Info: Computation of a minimal generating set using SAGBI+linear algebra.
Info: Version: $Id: comphead.mu,v 1.2 2001/03/21 17:51:40 nthiery Exp $
Date: Wed May 2 19:56:57 CEST 2001
Host: giulia3.medicis.polytechnique.fr
Info: ====================================================================\
==========
Info: degreeBound: from the dimension of the space: 10
Info: secondaryInvariantsSeries: Computation from cycle types
Info: secondaryInvariantsSeries: working on cycletype, [1, 2, 0, 0, 0]
Info: secondaryInvariantsSeries: working on cycletype, [5, 0, 0, 0, 0]
Info: secondaryInvariantsSeries: working on cycletype, [0, 0, 0, 0, 1]
Info: degreeBound: enhancement from the degrees of the primary invariants:\
 8
Info: degreeBound: enhancement from the size of the group: 7
Info: Constructing a minimal generating set at degree 0
Info: No generators at degree 0
Info: Constructing a minimal generating set at degree 1
Info: Constructing the initial poset at degree 1
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 1 initial monomials
.
Info: Applying Gauss Elimination

Info: Extracting initial monomials that are not hit
Info: Dim: 1 Skiped: 0 Char Col: 0 Mgs: 1
Info: 1	20	2813281	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 1:
	 Date: Wed May 2 19:56:57 CEST 2001
Info:   Time: 20 ms
Info:   Memory: 2829 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 1
Info:   --------------------------------------
Info: 	 [1, 0, 0, 0, 0]
Info:   --------------------------------------
Info: Constructing a minimal generating set at degree 2
Info: Constructing the initial poset at degree 1
Info: Constructing the initial poset at degree 2
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 3 initial monomials
...
Info: Applying Gauss Elimination

Info: Extracting initial monomials that are not hit
Info: Dim: 3 Skiped: 1 Char Col: 0 Mgs: 2
Info: 2	0	2829665	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 2:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 0 ms
Info:   Memory: 2829 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 2
Info:   --------------------------------------
Info: 	 [1, 0, 1, 0, 0]
Info: 	 [1, 1, 0, 0, 0]
Info:   --------------------------------------
Info: Constructing a minimal generating set at degree 3
Info: Constructing the initial poset at degree 3
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 5 initial monomials
.....
Info: Applying Gauss Elimination

Info: Extracting initial monomials that are not hit
Info: Dim: 5 Skiped: 3 Char Col: 0 Mgs: 2
Info: 3	0	2829665	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 3:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 10 ms
Info:   Memory: 2829 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 2
Info:   --------------------------------------
Info: 	 [1, 1, 0, 1, 0]
Info: 	 [1, 1, 1, 0, 0]
Info:   --------------------------------------
Info: Constructing a minimal generating set at degree 4
Info: Constructing the initial poset at degree 4
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 10 initial monomials
.....pp.p....
Info: Applying Gauss Elimination
[4:2][5:2].
Info: Extracting initial monomials that are not hit
Info: Dim: 10 Skiped: 5 Char Col: 3 Mgs: 2
Info: 4	20	2829665	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 4:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 20 ms
Info:   Memory: 2829 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 2
Info:   --------------------------------------
Info: 	 [1, 1, 1, 1, 0]
Info: 	 [2, 0, 1, 1, 0]
Info:   --------------------------------------
Info: Constructing a minimal generating set at degree 5
Info: Constructing the initial poset at degree 5
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 16 initial monomials
.............pp...
Info: Applying Gauss Elimination
[12:2].
Info: Extracting initial monomials that are not hit
Info: Dim: 16 Skiped: 12 Char Col: 2 Mgs: 2
Info: 5	30	2846049	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 5:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 30 ms
Info:   Memory: 2846 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 2
Info:   --------------------------------------
Info: 	 [1, 1, 1, 1, 1]
Info: 	 [2, 1, 0, 2, 0]
Info:   --------------------------------------
Info: Constructing a minimal generating set at degree 6
Info: Constructing the initial poset at degree 6
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 26 initial monomials
...............pp.pp....p.pp..p.p..p
Info: Applying Gauss Elimination
[14:2][15:2][19:2][20:3][21:3][22:2][23:3][24:2][25:2]Info: Extracting initial monomials that are not hit
Info: Dim: 26 Skiped: 17 Char Col: 9 Mgs: 0
Info: 6	70	2862433	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 6:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 70 ms
Info:   Memory: 2862 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 0
Info: Constructing a minimal generating set at degree 7
Info: Constructing the initial poset at degree 7
Info: Generating the full matrix of decomposable invariants by iterating t\
hrough all 38 initial monomials
........................ppp.pp.p...pp.p.ppp.p...p.p.p.p
Info: Applying Gauss Elimination
[23:3][24:2][25:2].[28:3][29:3][30:4][31:3].[33:2][34:3][35:3][36:4][37:4]Info: Extracting initial monomials that are not hit
Info: Dim: 38 Skiped: 24 Char Col: 14 Mgs: 0
Info: 7	100	2911585	#Stats: degree,time(ms),mem(bytes)
Info: Statistics for degree 7:
	 Date: Wed May 2 19:56:58 CEST 2001
Info:   Time: 100 ms
Info:   Memory: 2911 ko.
Info:   S-Pairs: 0 (+ 0 normalf->0 + 0 reduction->0 + 0 non-lcm->0)
Info:   Minimal generators: 0
Info: Updating the degreeBound to 5 which is optimal!
Info: Total time: 690 ms
Info: ====================================================================\
==========
Info: Computation of a minimal generating set using SAGBI+linear algebra.
Info: Version: $Id: comphead.mu,v 1.2 2001/03/21 17:51:40 nthiery Exp $
Date: Wed May 2 19:56:58 CEST 2001
Host: giulia3.medicis.polytechnique.fr
Info: ====================================================================\
==========
Info: Total time: 0 ms