Activity
From 10 Feb 2015 to 11 Mar 2015
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... - 13:10 CoCoA-5 Feature #673 (Closed): Error message: I was expecting...
- The generic error message...
- 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....
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...
- 20:13 CoCoA-5 Design #668: Remove keyword "weights"?
- In @Interpreter.H:718@ the mem fn @setField@ is declared as @virtual@; why??
- 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... - 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...
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]
- 21:35 CoCoA-5 Bug #672 (Closed): Emacs UI: strange string literal causes crash
- I created a file (@CRASH.cocoa5@) containing the following:...
- 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. - 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...
- 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 (...
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)... - 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...
- 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... - 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...
- 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...
- 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-...
05 Mar 2015
- 18:43 CoCoA-5 Design #668: Remove keyword "weights"?
- The involved lines are:...
- 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...
- 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...
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...
- 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 (_... - 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 ...
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...
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.
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...
- 15:04 CoCoALib Bug #666: RatReconstructByLattice fails in some simple cases
- I ran the following to compare when ContFrac and Lattice methods are better...
- 15:01 CoCoALib Bug #666 (Closed): RatReconstructByLattice fails in some simple cases
- @RatReconstructByLattice(1,1145)@ returns failure -- why??
- 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)
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... - 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:...
- 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... - 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...
12 Feb 2015
- 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
11 Feb 2015
- 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... - 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...
Also available in: Atom