Changeset 39a48d0 in git


Ignore:
Timestamp:
Jun 6, 2018, 1:29:11 PM (6 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '82fc009ea2b0098c1a4896c841bb70860976bdfc')
Children:
41635a4760489ec7036b6e437c35ffd4f31e35d7
Parents:
6f92b7cbfdfef2060f611906be9b7c90b34f78e2
Message:
fix: (for tr.#828) let groebner do hilbstd in primdec.lib
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/primdec.lib

    r6f92b7 r39a48d0  
    68326832  attrib(I, "isSB", 1);   // I needs to be a reduced standard basis
    68336833  list indep, fett;
    6834   intvec @w, @hilb, op;
     6834  intvec op;
    68356835  int @wr, @n, @m, lauf, di;
    68366836  ideal fac, @h, collectrad, lsau;
     
    68406840  def @P = basering;
    68416841  int jdim = dim(I);               // Computes the dimension of I
    6842   int  homo = homog(I);            // Finds out if I is homogeneous
    68436842  ideal rad = ideal(1);            // The unit ideal
    68446843  ideal te = ser;
     
    68466845  {
    68476846    @wr = #[1];
    6848   }
    6849   if(homo == 1)
    6850   {
    6851     for(@n = 1; @n <= nvars(basering); @n++)
    6852     {
    6853       @w[@n] = ord(var(@n));
    6854     }
    6855     @hilb = hilb(I, 1, @w);
    68566847  }
    68576848
     
    69116902                              + indep[@m][2] + ");");
    69126903      execute("map phi = @P," + @va + ";");
    6913       if(homo == 1)
    6914       {
    6915         ideal @j = std(phi(I), @hilb, @w);
    6916       }
    6917       else
    6918       {
    6919         ideal @j = groebner(phi(I));
    6920       }
     6904      ideal @j = groebner(phi(I));
    69216905    }
    69226906    if((deg(@j[1]) == 0) || (dim(@j) < jdim))
     
    70607044    {
    70617045      break;
    7062     }
    7063     if(homo==1)
    7064     {
    7065       @hilb = hilb(I, 1, @w);
    70667046    }
    70677047  }
Note: See TracChangeset for help on using the changeset viewer.