Changeset 906458 in git for Singular/LIB/mregular.lib
- Timestamp:
- Apr 7, 2009, 6:18:06 PM (15 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 5d98f437864469b655868be585350eeb57da2863
- Parents:
- 2ae96e40fc5453bcb155aec76d376d79dd549cbe
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/mregular.lib
r2ae96e r906458 1 1 // IB/PG/GMG, last modified: 15.10.2004 2 2 ////////////////////////////////////////////////////////////////////////////// 3 version = "$Id: mregular.lib,v 1. 9 2008-10-06 17:04:27 SingularExp $";3 version = "$Id: mregular.lib,v 1.10 2009-04-07 16:18:05 seelisch Exp $"; 4 4 category="Commutative Algebra"; 5 5 info=" … … 1453 1453 (returns -1 if i = (0) or (1)). 1454 1454 ASSUME: The field K is infinite and i is a nonzero proper ideal. 1455 NOTE S1. It works also if K is a finite field if it terminates, but1455 NOTE: 1. It works also if K is a finite field if it terminates, but 1456 1456 may result in an infinite loop. If the procedure enters more 1457 than 30 loops, -1 is returned and a warning message is displayed. 1457 than 30 loops, -1 is returned and a warning message is displayed.@* 1458 1458 2. If printlevel > 0 (default = 0), additional info is displayed: 1459 1459 dim(S/i) and K[x(n-d+1),...,x(n)] are given. … … 1680 1680 ASSUME: i is a nonzero proper monomial ideal. 1681 1681 NOTES: 1. The ideal must be monomial, otherwise the result has no meaning 1682 (so check this before using this procedure). 1683 2. is_nested is used in procedures depthIdeal, regIdeal and satiety. 1682 (so check this before using this procedure).@* 1683 2. is_nested is used in procedures depthIdeal, regIdeal and satiety.@* 1684 1684 3. When i is a monomial ideal of nested type of S=K[x(0)..x(n)], 1685 1685 the a-invariant of S/i coincides with the upper bound obtained
Note: See TracChangeset
for help on using the changeset viewer.