Changeset 8aafaf in git


Ignore:
Timestamp:
Mar 8, 2007, 1:30:10 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
60d6fac1b1cae8589d00c1b5248c5253cbede39f
Parents:
f3f6fdeae4b3a5cb5b0df35965a276b9254cb9c8
Message:
*hannes: do not tell what we are not doing


git-svn-id: file:///usr/local/Singular/svn/trunk@9925 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/finvar.lib

    rf3f6fd r8aafaf  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: finvar.lib,v 1.66 2007-03-05 19:39:23 king Exp $"
     2version="$Id: finvar.lib,v 1.67 2007-03-08 12:30:10 Singular Exp $"
    33category="Invariant theory";
    44info="
     
    50675067//--------------------- generating secondary invariants ----------------------
    50685068  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
    50705070    // been found.
    50715071    // Afterwards, the use of PP is impossible.
    5072     if ((LastNewIS == i-3) and (UsePP==0)) 
     5072    if ((LastNewIS == i-3) and (UsePP==0))
    50735073    { if (v) {"Computing Groebner basis for primaries and previously found irreducibles...";}
    50745074      degBound = 0;
     
    50965096      attrib(Reductor,"isSB",1);
    50975097      attrib(SaveRed,"isSB",1);
    5098              
     5098
    50995099      // Case A: We use PP
    51005100      if ( NoPP==0 )
     
    51975197          }
    51985198        }
    5199         TotalReductor = sP_Reductor; 
     5199        TotalReductor = sP_Reductor;
    52005200      } // if NoPP==0
    52015201      else
    5202       { if (v) {"  We don't compute Power Products!"; }
     5202      { //if (v) {"  We don't compute Power Products!"; }
    52035203// Instead of computing Power Products, we can compute a Groebner basis of the ideal
    52045204// generated by the primary and previously found irr. sec. invariants up to degree i-2. An invariant
     
    52095209    }  // dealing with reducible sec. inv.
    52105210    // 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
    52125212    //         all secondaries
    52135213    //         If we don't, TotalReductor detects the algebra <<P union IS>>
     
    52175217        { "  Looking for irreducible secondary invariants in degree ", i-1;
    52185218        }
    5219         mon = kbase(TotalReductor,i-1); 
     5219        mon = kbase(TotalReductor,i-1);
    52205220        ii = ncols(mon);
    52215221        if (mon[1]<>0)
Note: See TracChangeset for help on using the changeset viewer.