- Timestamp:
- Mar 8, 2007, 1:30:10 PM (17 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- 60d6fac1b1cae8589d00c1b5248c5253cbede39f
- Parents:
- f3f6fdeae4b3a5cb5b0df35965a276b9254cb9c8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/finvar.lib
rf3f6fd r8aafaf 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: finvar.lib,v 1.6 6 2007-03-05 19:39:23 kingExp $"2 version="$Id: finvar.lib,v 1.67 2007-03-08 12:30:10 Singular Exp $" 3 3 category="Invariant theory"; 4 4 info=" … … 5067 5067 //--------------------- generating secondary invariants ---------------------- 5068 5068 for (i=2;i<=m;i++) // going through dimmat - 5069 { // Case 1: PP are not required by the user, and we guess that all irreducibles have 5069 { // Case 1: PP are not required by the user, and we guess that all irreducibles have 5070 5070 // been found. 5071 5071 // Afterwards, the use of PP is impossible. 5072 if ((LastNewIS == i-3) and (UsePP==0)) 5072 if ((LastNewIS == i-3) and (UsePP==0)) 5073 5073 { if (v) {"Computing Groebner basis for primaries and previously found irreducibles...";} 5074 5074 degBound = 0; … … 5096 5096 attrib(Reductor,"isSB",1); 5097 5097 attrib(SaveRed,"isSB",1); 5098 5098 5099 5099 // Case A: We use PP 5100 5100 if ( NoPP==0 ) … … 5197 5197 } 5198 5198 } 5199 TotalReductor = sP_Reductor; 5199 TotalReductor = sP_Reductor; 5200 5200 } // if NoPP==0 5201 5201 else 5202 { if (v) {" We don't compute Power Products!"; }5202 { //if (v) {" We don't compute Power Products!"; } 5203 5203 // Instead of computing Power Products, we can compute a Groebner basis of the ideal 5204 5204 // generated by the primary and previously found irr. sec. invariants up to degree i-2. An invariant … … 5209 5209 } // dealing with reducible sec. inv. 5210 5210 // The remaining sec. inv. are irreducible! 5211 // Reason: If we use PP, TotalReductor detects the <<P>>-module generated by 5211 // Reason: If we use PP, TotalReductor detects the <<P>>-module generated by 5212 5212 // all secondaries 5213 5213 // If we don't, TotalReductor detects the algebra <<P union IS>> … … 5217 5217 { " Looking for irreducible secondary invariants in degree ", i-1; 5218 5218 } 5219 mon = kbase(TotalReductor,i-1); 5219 mon = kbase(TotalReductor,i-1); 5220 5220 ii = ncols(mon); 5221 5221 if (mon[1]<>0)
Note: See TracChangeset
for help on using the changeset viewer.