Changeset 367e88 in git for Singular/LIB/primdec.lib
- Timestamp:
- Feb 21, 2001, 11:08:16 AM (23 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- ae545ac63ed4198e2445854403c6dbf0dd6ff599
- Parents:
- 634c98b2990bf86e590986643d68ee13f3fc09b2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/primdec.lib
r634c98 r367e88 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: primdec.lib,v 1.9 7 2001-02-20 09:43:07 pfister Exp $";2 version="$Id: primdec.lib,v 1.98 2001-02-21 10:08:16 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 10 10 OVERVIEW: 11 11 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 14 14 by Wolfram Decker and Hans Schoenemann). 15 15 @* The procedures are implemented to be used in characteristic 0. … … 1643 1643 { 1644 1644 execute ("ring gnir=("+charstr(P)+"),("+varstr(P)+"),lp;"); 1645 1645 1646 1646 list p=facstd(fetch(P,i)); 1647 1647 if(size(p)>1) … … 1757 1757 - a[s] the equidimensional locus of i, i.e. the intersection 1758 1758 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. 1760 NOTE: An embedded component q (primary ideal) of i can be replaced in the 1761 1761 decomposition by a primary ideal q1 with the same radical as q. @* 1762 1762 @code{equidim(i,1)} uses the algorithm of Eisenbud/Huneke/Vasconcelos. … … 4383 4383 "USAGE: primdecGTZ(i); i ideal 4384 4384 RETURN: a list pr of primary ideals and their associated primes: 4385 @format 4385 @format 4386 4386 pr[i][1] the i-th primary component, 4387 4387 pr[i][2] the i-th prime component. … … 4415 4415 "USAGE: primdecSY(i); i ideal, c int 4416 4416 RETURN: a list pr of primary ideals and their associated primes: 4417 @format 4417 @format 4418 4418 pr[i][1] the i-th primary component, 4419 4419 pr[i][2] the i-th prime component. … … 4471 4471 return(minAssPrimes(i,1)); 4472 4472 } 4473 return(minAssPrimes(i)); 4473 return(minAssPrimes(i)); 4474 4474 } 4475 4475 example … … 4717 4717 RETURN: list of primary ideals, the zero-dimensional decomposition of I 4718 4718 NOTE: 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 4721 4721 but may fail for small p. 4722 4722 @* If printlevel > 0 (default = 0) additional information is displayed. … … 4969 4969 time=timer; ideal ra =radical(gls); timer-time;size(pr); 4970 4970 */ 4971 4972 4973
Note: See TracChangeset
for help on using the changeset viewer.