Project

General

Profile

Bug #1244

MSatLinSolve: req minor improvements

Added by John Abbott about 5 years ago. Updated about 2 years ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.4.2
Start date:
15 Feb 2019
Due date:
% Done:

10%

Estimated time:
Spent time:
0.25 h

Description

Currently MSatLinSolve appears to accept matrices over finite fields; probably it should require the ring to be char 0 (perhaps only ZZ or QQ?)

The manual page should be improved. What are the allowed fields in the arg? eq0, lt0, le0, ne0, gt0 and ge0?? This should be explained clearly in the description.

History

#1 Updated by John Abbott over 4 years ago

  • Description updated (diff)
  • Target version changed from CoCoA-5.3.0 to CoCoA-5.4.0

#2 Updated by John Abbott about 2 years ago

  • Status changed from New to In Progress
  • Target version changed from CoCoA-5.4.0 to CoCoA-5.4.2
  • % Done changed from 0 to 10

I have added a quick test in BuiltinFunctions-MathSAT.C.
A very quick test worked as hoped. But it needs more testing.

Also available in: Atom PDF