Activity

From 05 Feb 2015 to 06 Mar 2015

20:31 CoCoA-5 Design #668: Remove keyword "weights"?: After speaking to Anna by Skype we have decided:
* Anna will remove the keyword @weights@ (from interpreter and UIs)... John Abbott
11:21 CoCoA-5 Design #668: Remove keyword "weights"?: I should also modify @RECORD::setField@ so that it gives an error if the field name is not a valid identifier for CoC... John Abbott
11:10 CoCoA-5 Design #668: Remove keyword "weights"?: This is trickier than I originally thought.
The way the CoCoA-5 interpreter is designed a keyword is always seen a... John Abbott
20:28 CoCoA-5 Bug #670: Error column indicator misaligned with non-printing (unprintable) characters: A very simple idea would be to replace unprintable characters by a single printable character (_e.g._ @?@) this would... John Abbott
20:24 CoCoA-5 Bug #670 (Closed): Error column indicator misaligned with non-printing (unprintable) characters: While doing some "fuzz" testing with CoCoA-5 I noticed that error messages seemed to indicate the wrong columns; then... John Abbott
17:26 CoCoA-5 Bug #669 (New): NUL char in input terminates CoCoA-5: I tried a "fuzzing" test with CoCoA-5 (feeding the executable as input).
CoCoA-5 treats a NUL (ASCII code 0) as end-... John Abbott

18:43 CoCoA-5 Design #668: Remove keyword "weights"?: The involved lines are:... Anna Maria Bigatti
18:40 CoCoA-5 Design #668 (In Progress): Remove keyword "weights"?: The problem arose when Claudia Fassino worked with @PreprocessPoint@, and had trouble getting the value of @P.weights... Anna Maria Bigatti
18:26 CoCoA-5 Design #668 (Closed): Remove keyword "weights"?: In CoCoA-4 "Weights" was used to set weights in a polynomial ring construction.
Now weights are dealt with in a comp... Anna Maria Bigatti

20:08 CoCoALib Feature #667: factor: multivariate + finite characteristic: Factorizing in @F_q[x]@ is largely the same as factorizing in @F_p[x]@; the algorithm is essentially the same (but co... John Abbott
16:45 CoCoALib Feature #667: factor: multivariate + finite characteristic: John Abbott wrote:
> The squarefree decomposition is the normal first step, but there are other problematic steps (_... Anna Maria Bigatti
13:31 CoCoALib Feature #667: factor: multivariate + finite characteristic: The squarefree decomposition is the normal first step, but there are other problematic steps (_e.g._ mapping down to ... John Abbott

11:23 CoCoALib Feature #667 (New): factor: multivariate + finite characteristic: (if I remember well)
The problem about factorizing a multivariate polynomial in finite characteristic was just the s... Anna Maria Bigatti

13:36 CoCoALib Bug #666 (In Progress): RatReconstructByLattice fails in some simple cases: I now think that the problem may really be imprecise documentation.
John Abbott

17:56 CoCoALib Bug #666: RatReconstructByLattice fails in some simple cases: It seems that *both* @RatReconstructByContFrac@ and @RatReconstructByLattice@ *fail* on (1,N) for N < 1145. Then the... John Abbott
15:04 CoCoALib Bug #666: RatReconstructByLattice fails in some simple cases: I ran the following to compare when ContFrac and Lattice methods are better... John Abbott
15:01 CoCoALib Bug #666 (Closed): RatReconstructByLattice fails in some simple cases: @RatReconstructByLattice(1,1145)@ returns failure -- why?? John Abbott
15:14 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?: Part of the definition of IsFactorClosed in BuiltInFunctions should be moved into CoCoALibSupplement (I will do it soon) Anna Maria Bigatti

20:59 CoCoALib Feature #24: object files collected in one directory: Right now I do not recall why we think it is a good idea to have all object files in a single directory.
Pro:
* e... John Abbott
20:37 CoCoALib Feature #24: object files collected in one directory: Here is an example I found on the internet; it uses GNU make's VPATH facility:... John Abbott
20:46 CoCoALib Feature #664: Impl small non-prime finite fields (using logs): When char=2 we can readily use (binary) integers to represent field elements.
The idea is to find a generator @theta... John Abbott
20:41 CoCoALib Feature #665: Integrate Janet/Pommaret basis code: Mario will try to put all his source code in his own namespace (perhaps called @involutive@), and will put all his fi... John Abbott

10:33 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..): I changed all ring names into Kt and Kx in TmpImplicit.C
Anna Maria Bigatti

17:42 CoCoALib Feature #665 (In Progress): Integrate Janet/Pommaret basis code: Integrating Janet/Pommaret basis into CoCoALib and CoCoA-5
What Mario will do:
* think about good names for JBMil... John Abbott
17:39 CoCoALib Feature #664 (Resolved): Impl small non-prime finite fields (using logs): Impl small non-prime finite fields (?using log/exp tables?)
Werner+Mario would like these ASAP; especially with ch... John Abbott

Also available in: Atom

CoCoA