Anna Maria Bigatti's activity
From 24 Jan 2018 to 22 Feb 2018
22 Feb 2018
-
16:55 CoCoALib 0.50 hour (Design #1159 (Closed): Add global enum "verify/DontVerify")
-
- John says it might be better to have a "reliability flag", which takes "0" as "certain".
I am thinking of the functi... -
- should we have a global enum for "verify/DontVerify"?
this could be a pervasive feature in cocoalib.
-
- In our applications a wrong Minimal polinomial can be detected (we proved that if wrong, the degree is too low).
So ...
21 Feb 2018
-
- Missing coefficient:...
16 Feb 2018
-
-
- There is a problem now.... I cannot remember and find where sed is called....
-
- John Abbott wrote:
> *(A)* The simplest solution is to call @sed@ directly without using its full path:
> * *@+++@*...
03 Feb 2018
-
- Think of theory and implement @gin@ for algebraic extensions
-
- For some compilations there are problems with the path for @sed@.
01 Feb 2018
-
25 Jan 2018
-
- The reason why the builtin function is called ...List is that this is the naming convention for functions operating o...
-
Also available in: Atom