Changeset b9b906 in git for Singular/LIB/toric.lib
- Timestamp:
- Jan 16, 2001, 2:48:47 PM (23 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')
- Children:
- 081d28e7da33af82545a27eb9f8ee82b0884b9f0
- Parents:
- 4e3468f1f6473297e317588e34a7719e241780f9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/toric.lib
r4e3468 rb9b906 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: toric.lib,v 1. 9 2000-12-22 14:57:44 greuelExp $";2 version="$Id: toric.lib,v 1.10 2001-01-16 13:48:46 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 667 667 toric_ideal(A,alg,prsv); A intmat, alg string, prsv intvec 668 668 RETURN: ideal: standard basis of the toric ideal of A 669 NOTE: These procedures return the standard basis of the toric ideal of A 670 with respect to the term ordering in the actual basering. Not all 671 term orderings are supported: The usual global term orderings may be 669 NOTE: These procedures return the standard basis of the toric ideal of A 670 with respect to the term ordering in the actual basering. Not all 671 term orderings are supported: The usual global term orderings may be 672 672 used, but no block orderings combining them. 673 673 One may call the procedure with several different algorithms: … … 677 677 - the algorithm of Hosten/Sturmfels (hs), 678 678 - the algorithm of DiBiase/Urbanke (du). 679 The argument `alg' should be the abbreviation for an algorithm as 679 The argument `alg' should be the abbreviation for an algorithm as 680 680 above: ect, pt, blr, hs or du. 681 681 682 If `alg' is chosen to be `blr' or `hs', the algorithm needs a vector 683 with positive coefficcients in the row space of A. 684 If no row of A contains only positive entries, one has to use the 685 second version of toric_ideal which takes such a vector as its third 682 If `alg' is chosen to be `blr' or `hs', the algorithm needs a vector 683 with positive coefficcients in the row space of A. 684 If no row of A contains only positive entries, one has to use the 685 second version of toric_ideal which takes such a vector as its third 686 686 argument. 687 687 For the mathematical background, see … … 732 732 "USAGE: toric_std(I); I ideal 733 733 RETURN: ideal: standard basis of I 734 NOTE: This procedure computes the standard basis of I using a specialized 735 Buchberger algorithm. The generating system by which I is given has 736 to consist of binomials of the form x^u-x^v. There is no real check 737 if I is toric. If I is generated by binomials of the above form, 738 but not toric, toric_std computes an ideal `between' I and its 734 NOTE: This procedure computes the standard basis of I using a specialized 735 Buchberger algorithm. The generating system by which I is given has 736 to consist of binomials of the form x^u-x^v. There is no real check 737 if I is toric. If I is generated by binomials of the above form, 738 but not toric, toric_std computes an ideal `between' I and its 739 739 saturation with respect to all variables. 740 740 For the mathematical background, see
Note: See TracChangeset
for help on using the changeset viewer.