Changeset b390e5 in git

Timestamp:

Jan 19, 2022, 2:42:55 PM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

bbc293564bf76fcdfdc37354d406b7ca77bc780f

Parents:

3882094d003ecd5487dfad0aa941dee9d650a30e

Message:

add: farey/chinrem for smatrix

Files:

• Singular/iparith.cc (modified) (1 diff)
• Singular/iparith.inc (modified) (7 diffs)
• Singular/table.h (modified) (1 diff)
• doc/NEWS.texi (modified) (2 diffs)
• doc/reference.doc (modified) (previous)
• doc/types.doc (modified) (previous)

Singular/iparith.cc

@@ -9933 +9933 @@
   if ((return_type!=IDEAL_CMD)
   && (return_type!=MODUL_CMD)
+  && (return_type!=SMATRIX_CMD)
   && (return_type!=MATRIX_CMD)
   && (return_type!=POLY_CMD))

Singular/iparith.inc

@@ -146 +146 @@
 // operation: minbase (ideal)  ->  ideal, only commutative rings, field coeffs
 // operation: minbase (module)  ->  module, only commutative rings, field coeffs
-// operation: minres (list)  ->  list
-// operation: minres (resolution)  ->  resolution
+// operation: minres (list)  ->  list, field coeffs
+// operation: minres (resolution)  ->  resolution, field coeffs
 // operation: module (module)  ->  module
 // operation: monitor (link)  ->  nothing
@@ -177 +177 @@
 // operation: poly (poly)  ->  poly
 // operation: poly (bigint)  ->  poly requires currRing
-// operation: preimage (map)  ->  ring, only commutative rings
+// operation: preimage (map)  ->  ring, letterplace rings
 // operation: prime (int)  ->  int
 // operation: print (list)  ->  string
@@ -517 +517 @@
 // operation: farey (module, bigint)  ->  module, field coeffs
 // operation: farey (matrix, bigint)  ->  matrix, field coeffs
+// operation: farey (smatrix, bigint)  ->  smatrix, field coeffs
 // operation: farey (list, bigint)  ->  list, field coeffs
 // operation: fetch (ring, any_type)  ->  any_type
@@ -569 +570 @@
 // operation: mpresmat (ideal, int)  ->  module, only commutative rings, field coeffs
 // operation: newstruct (string, string)  ->  nothing
-// operation: mres (ideal, int)  ->  resolution
-// operation: mres (module, int)  ->  resolution
+// operation: mres (ideal, int)  ->  resolution, field coeffs
+// operation: mres (module, int)  ->  resolution, field coeffs
 // operation: primefactors (bigint, int)  ->  list
 // operation: primefactors (number, int)  ->  list
@@ -596 +597 @@
 // operation: reduce (module, ideal)  ->  module
 // operation: reduce (module, module)  ->  module
-// operation: nres (ideal, int)  ->  resolution
-// operation: nres (module, int)  ->  resolution
+// operation: nres (ideal, int)  ->  resolution, field coeffs
+// operation: nres (module, int)  ->  resolution, field coeffs
 // operation: sba (ideal, int)  ->  ideal
 // operation: sba (module, int)  ->  module
@@ -1277 +1278 @@
  { 266,0 },
  { 284,217 },
- { 286,267 },
- { 289,287 },
- { 290,304 },
+ { 286,268 },
+ { 289,288 },
+ { 290,305 },
  { 358,214 },
  { 359,216 },
@@ -1298 +1299 @@
  { 399,260 },
  { 400,262 },
- { 401,270 },
+ { 401,271 },
  { 402,261 },
- { 404,271 },
- { 405,273 },
- { 406,268 },
- { 407,269 },
- { 409,274 },
- { 412,278 },
- { 413,280 },
- { 414,286 },
- { 416,288 },
- { 417,289 },
- { 418,290 },
+ { 404,272 },
+ { 405,274 },
+ { 406,269 },
+ { 407,270 },
+ { 409,275 },
+ { 412,279 },
+ { 413,281 },
+ { 414,287 },
+ { 416,289 },
+ { 417,290 },
+ { 418,291 },
  { 420,99 },
- { 421,291 },
- { 423,292 },
- { 427,294 },
- { 428,295 },
- { 429,300 },
- { 430,302 },
- { 431,303 },
- { 432,306 },
- { 438,309 },
- { 439,307 },
- { 442,311 },
- { 443,312 },
- { 451,313 },
- { 452,315 },
- { 453,316 },
- { 454,318 },
- { 459,317 },
- { 460,322 },
- { 461,326 },
- { 468,330 },
- { 475,331 },
- { 476,320 },
- { 478,332 },
- { 483,333 },
- { 484,336 },
- { 485,337 },
- { 486,338 },
- { 487,339 },
- { 490,345 },
- { 499,347 },
- { 501,349 },
- { 504,353 },
- { 505,356 },
- { 506,354 },
- { 507,358 },
- { 511,364 },
- { 512,366 },
- { 523,369 },
- { 525,370 },
- { 526,371 },
- { 527,372 },
+ { 421,292 },
+ { 423,293 },
+ { 427,295 },
+ { 428,296 },
+ { 429,301 },
+ { 430,303 },
+ { 431,304 },
+ { 432,307 },
+ { 438,310 },
+ { 439,308 },
+ { 442,312 },
+ { 443,313 },
+ { 451,314 },
+ { 452,316 },
+ { 453,317 },
+ { 454,319 },
+ { 459,318 },
+ { 460,323 },
+ { 461,327 },
+ { 468,331 },
+ { 475,332 },
+ { 476,321 },
+ { 478,333 },
+ { 483,334 },
+ { 484,337 },
+ { 485,338 },
+ { 486,339 },
+ { 487,340 },
+ { 490,346 },
+ { 499,348 },
+ { 501,350 },
+ { 504,354 },
+ { 505,357 },
+ { 506,355 },
+ { 507,359 },
+ { 511,365 },
+ { 512,367 },
+ { 523,370 },
+ { 525,371 },
+ { 526,372 },
+ { 527,373 },
  { 10000,0 }
 };

Singular/table.h

@@ -646 +646 @@
 ,{D(jjFAREY_ID),  FAREY_CMD,      MODUL_CMD,      MODUL_CMD,   BIGINT_CMD, ALLOW_PLURAL |NO_RING}
 ,{D(jjFAREY_ID),  FAREY_CMD,      MATRIX_CMD,     MATRIX_CMD,  BIGINT_CMD, ALLOW_PLURAL |NO_RING}
+,{D(jjFAREY_ID),  FAREY_CMD,      SMATRIX_CMD,    SMATRIX_CMD, BIGINT_CMD, ALLOW_PLURAL |NO_RING}
 ,{D(jjFAREY_LI),  FAREY_CMD,      LIST_CMD,       LIST_CMD,    BIGINT_CMD, ALLOW_PLURAL |NO_RING}
 ,{D(jjFETCH),     FETCH_CMD,      ANY_TYPE/*set by p*/,RING_CMD,  ANY_TYPE, ALLOW_NC |ALLOW_RING}

doc/NEWS.texi

@@ -21 +21 @@
 
 @heading News for version @value{VERSION}
+
+New commands:
+@itemize
+@item @code{chinrem}, @code{farey} for @code{smatrix} (@nref{smatrix})
+@end itemize
 
 @c New commands:
@@ -30 +35 @@
 @c @itemize
 @c @end itemize
+
+@heading News for version 4-3-0
+
 New libraries:
 @itemize