Project

General

Profile

Activity

From 13 Feb 2015 to 14 Mar 2015

13 Mar 2015

14:50 CoCoA-5 Feature #674: Ring constructor: allow empty range for indices?
John Abbott wrote:
> I understand your point.
> Actually, I suppose the correct solution is to use anonymous ind...
Anna Maria Bigatti
14:35 CoCoA-5 Feature #674 (In Progress): Ring constructor: allow empty range for indices?
I understand your point. Actually, I suppose the correct solution is to use anonymous indets for the dummies, but we... John Abbott
13:56 CoCoA-5 Feature #674: Ring constructor: allow empty range for indices?
John Abbott wrote:
> There would be no technical problem allowing a range such as 1..0; perhaps the main question is...
Anna Maria Bigatti
13:21 CoCoA-5 Feature #674: Ring constructor: allow empty range for indices?
There would be no technical problem allowing a range such as 1..0; perhaps the main question is whether the gain in e... John Abbott
11:08 CoCoA-5 Feature #674 (Rejected): Ring constructor: allow empty range for indices?
I am writing a CoCoA-5 program which may need some "dummy" variables. My code looks like this:... John Abbott
13:55 CoCoA-5 Support #654 (Feedback): Rename adjoint to adjugate???
After speaking to Anna about it on Skype, we decided that it is simplest to call the function @adj@ (in the same way ... John Abbott

11 Mar 2015

13:14 CoCoA-5 Feature #673: Error message: I was expecting...
The relevant source code is @Parser.H:156@
The following rule may help identify the "type" of a parser token:
* s...
John Abbott
13:10 CoCoA-5 Feature #673 (Closed): Error message: I was expecting...
The generic error message... John Abbott
13:07 CoCoA-5 Design #668: Remove keyword "weights"?
It works... more or less. @A["weights"]@ gives the error I wanted, but @A.weights@ still gives a less helpful error.... John Abbott

10 Mar 2015

21:09 CoCoA-5 Design #668: Remove keyword "weights"?
At the moment I have implemented @setField@ and @setFieldNoCheck@; the latter is just the old fn renamed. The new fn... John Abbott
20:13 CoCoA-5 Design #668: Remove keyword "weights"?
In @Interpreter.H:718@ the mem fn @setField@ is declared as @virtual@; why??
John Abbott
16:27 CoCoA-5 Bug #670: Error column indicator misaligned with non-printing (unprintable) characters
Relevant source code is @Lexer.C:615@ and following lines.
Already have a prototype; currently prints out # instea...
John Abbott
11:38 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash
The EmacsUI really seems to do strange things when the input contains unprintable chars. I am guessing that it is th... John Abbott

09 Mar 2015

00:45 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash
Other chars which give trouble include those with ASCII code 3, ...
[to be completed]
John Abbott
21:35 CoCoA-5 Bug #672 (Closed): Emacs UI: strange string literal causes crash
I created a file (@CRASH.cocoa5@) containing the following:... John Abbott
13:49 CoCoA-5 Bug #671 (New): Emacs UI: swapped splitting
In some cases emacs splits (top+bottom) swapping the buffers, i.e. *cocoa5* at the bottom.
Investigate and fix.
Anna Maria Bigatti
13:33 CoCoA-5 Bug #670 (In Progress): Error column indicator misaligned with non-printing (unprintable) characters
I was thinking that the substitution for unprintable chars would occur only when printing out source code for the pur... John Abbott
11:26 CoCoA-5 Bug #670: Error column indicator misaligned with non-printing (unprintable) characters
John Abbott wrote:
> A very simple idea would be to replace unprintable characters by a single printable character (...
Anna Maria Bigatti

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

05 Mar 2015

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

04 Mar 2015

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

02 Mar 2015

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

27 Feb 2015

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

19 Feb 2015

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

13 Feb 2015

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
 

Also available in: Atom