Changeset 9850e50 in git

Timestamp:

Apr 8, 2024, 2:42:42 PM (6 weeks ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

137ed3d06f9f4d2fbbdf3e0b8326a2cf060dac05

Parents:

b31b2af95512f11967d8fe3fb7d6f9ae50af15ae

Message:

fix req. for hilb stuff

Location:

Singular

Files:

• iparith.inc (modified) (2 diffs)
• table.h (modified) (2 diffs)

Singular/iparith.inc

@@ -613 +613 @@
 // operation: parstr (ring, int)  ->  string
 // operation: print (def, string)  ->  string
-// operation: prune_map (module, smatrix)  ->  module
+// operation: prune_map (module, identifier)  ->  module
 // operation: quotient (ideal, ideal)  ->  ideal
 // operation: quotient (module, ideal)  ->  module
@@ -680 +680 @@
 // operation: coeffs (ideal, ideal, poly)  ->  matrix
 // operation: coeffs (module, module, poly)  ->  matrix
-// operation: eliminate (ideal, poly, bigintvec)  ->  ideal, only commutative rings
-// operation: eliminate (module, poly, bigintvec)  ->  module, only commutative rings
+// operation: eliminate (ideal, poly, bigintvec)  ->  ideal, only commutative rings, field coeffs
+// operation: eliminate (module, poly, bigintvec)  ->  module, only commutative rings, field coeffs
 // operation: eliminate (ideal, poly, string)  ->  ideal
 // operation: eliminate (module, poly, string)  ->  module

Singular/table.h

@@ -689 +689 @@
 ,{D(jjHILBERT2),  HILBERT_CMD,    BIGINTVEC_CMD,  IDEAL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
 ,{D(jjHILBERT2),  HILBERT_CMD,    BIGINTVEC_CMD,  MODUL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
-//,{D(jjHILBERT2),  HILBERT_CMD,    INTVEC_CMD,     IDEAL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
-//,{D(jjHILBERT2),  HILBERT_CMD,    INTVEC_CMD,     MODUL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING | NO_ZERODIVISOR}
 ,{D(jjHOMOG1_WI), HOMOG_CMD,      INT_CMD,        IDEAL_CMD,  INTVEC_CMD, ALLOW_PLURAL |ALLOW_RING}
 ,{D(jjHOMOG1_W),  HOMOG_CMD,      INT_CMD,        MODUL_CMD,  INTVEC_CMD, ALLOW_PLURAL |ALLOW_RING}
@@ -837 +835 @@
 ,{D(jjCMATRIX_3),     CMATRIX_CMD, CMATRIX_CMD,INT_CMD,    INT_CMD,   CRING_CMD, ALLOW_PLURAL |ALLOW_RING}
 #endif
-,{D(jjELIMIN_HILB),    ELIMINATION_CMD,IDEAL_CMD, IDEAL_CMD, POLY_CMD, BIGINTVEC_CMD, NO_NC |ALLOW_RING}
-,{D(jjELIMIN_HILB),    ELIMINATION_CMD,MODUL_CMD, MODUL_CMD, POLY_CMD, BIGINTVEC_CMD, NO_NC |ALLOW_RING}
+,{D(jjELIMIN_HILB),    ELIMINATION_CMD,IDEAL_CMD, IDEAL_CMD, POLY_CMD, BIGINTVEC_CMD, NO_NC |NO_RING}
+,{D(jjELIMIN_HILB),    ELIMINATION_CMD,MODUL_CMD, MODUL_CMD, POLY_CMD, BIGINTVEC_CMD, NO_NC |NO_RING}
 ,{D(jjELIMIN_ALG),     ELIMINATION_CMD,IDEAL_CMD, IDEAL_CMD,  POLY_CMD, STRING_CMD, ALLOW_PLURAL |ALLOW_RING}
 ,{D(jjELIMIN_ALG),     ELIMINATION_CMD,MODUL_CMD, MODUL_CMD,  POLY_CMD, STRING_CMD, ALLOW_PLURAL |ALLOW_RING}