Changeset cddd22 in git for Singular/LIB
- Timestamp:
- Feb 25, 2011, 3:53:57 PM (13 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- b46956425e7535b8a3db0d7e85d16b6521e990e8
- Parents:
- 51114f4ee45c539e777e46b2697091af0bc4c3cf
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/grobcov.lib
r51114f4 rcddd22 691 691 // none of the polynomials in facvar(Wa) are contained in none of the ideals in DGN 692 692 // If the given conditions are not compatible, then N=ideal(1) and DGN=list(ideal(1)) 693 staticproc redspec(ideal Ni, ideal Wi)693 proc redspec(ideal Ni, ideal Wi) 694 694 //"USAGE: redspec(N,W); 695 695 // N: null conditions ideal
Note: See TracChangeset
for help on using the changeset viewer.