Changeset 367e88 in git for Singular/LIB/primdec.lib


Ignore:
Timestamp:
Feb 21, 2001, 11:08:16 AM (23 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
ae545ac63ed4198e2445854403c6dbf0dd6ff599
Parents:
634c98b2990bf86e590986643d68ee13f3fc09b2
Message:
* hannes: interred


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/primdec.lib

    r634c98 r367e88  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: primdec.lib,v 1.97 2001-02-20 09:43:07 pfister Exp $";
     2version="$Id: primdec.lib,v 1.98 2001-02-21 10:08:16 Singular Exp $";
    33category="Commutative Algebra";
    44info="
     
    1010OVERVIEW:
    1111    Algorithms for primary decomposition based on the ideas of
    12     Gianni, Trager and Zacharias (implementation by Gerhard Pfister), 
    13     respectively based on the ideas of Shimoyama and Yokoyama (implementation 
     12    Gianni, Trager and Zacharias (implementation by Gerhard Pfister),
     13    respectively based on the ideas of Shimoyama and Yokoyama (implementation
    1414    by Wolfram Decker and Hans Schoenemann).
    1515 @* The procedures are implemented to be used in characteristic 0.
     
    16431643   {
    16441644      execute ("ring gnir=("+charstr(P)+"),("+varstr(P)+"),lp;");
    1645      
     1645
    16461646      list p=facstd(fetch(P,i));
    16471647      if(size(p)>1)
     
    17571757        - a[s] the equidimensional locus of i, i.e. the intersection
    17581758          of the primary ideals of dimension of i
    1759         - a[1],...,a[s-1] the lower dimensional equidimensional loci. 
    1760 NOTE:    An embedded component q (primary ideal) of i can be replaced in the 
     1759        - a[1],...,a[s-1] the lower dimensional equidimensional loci.
     1760NOTE:    An embedded component q (primary ideal) of i can be replaced in the
    17611761         decomposition by a primary ideal q1 with the same radical as q. @*
    17621762         @code{equidim(i,1)} uses the algorithm of Eisenbud/Huneke/Vasconcelos.
     
    43834383"USAGE:   primdecGTZ(i); i ideal
    43844384RETURN:  a list pr of primary ideals and their associated primes:
    4385 @format   
     4385@format
    43864386   pr[i][1]   the i-th primary component,
    43874387   pr[i][2]   the i-th prime component.
     
    44154415"USAGE:   primdecSY(i); i ideal, c int
    44164416RETURN:  a list pr of primary ideals and their associated primes:
    4417 @format   
     4417@format
    44184418   pr[i][1]   the i-th primary component,
    44194419   pr[i][2]   the i-th prime component.
     
    44714471      return(minAssPrimes(i,1));
    44724472   }
    4473    return(minAssPrimes(i));   
     4473   return(minAssPrimes(i));
    44744474}
    44754475example
     
    47174717RETURN:  list of primary ideals, the zero-dimensional decomposition of I
    47184718NOTE:    The algorithm (of Monico), works well only for a small total number
    4719          of solutions (@code{vdim(std(I))} should be < 100) and without 
    4720          parameters. In practice, it works also in large characteristic p>0 
     4719         of solutions (@code{vdim(std(I))} should be < 100) and without
     4720         parameters. In practice, it works also in large characteristic p>0
    47214721         but may fail for small p.
    47224722@*       If printlevel > 0 (default = 0) additional information is displayed.
     
    49694969time=timer; ideal ra =radical(gls); timer-time;size(pr);
    49704970*/
    4971 
    4972 
    4973 
Note: See TracChangeset for help on using the changeset viewer.