Activity
From 09 Oct 2019 to 07 Nov 2019
07 Nov 2019
-
20:17 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I noticed quite a lot of "almost duplication" in the *@cocoa5.el@* file. We should try to reduce that: more work for...
-
- I have a first version which seems to work: after *@(goto (point-max))@* I have inserted *@(move-beginning-of-line ni...
-
- I think it is probably a good idea to clear the last line (assuming this can be done reasonably easily in emacs).
...
05 Nov 2019
-
- On my machine all examples are faster than 5s, but several took more than 2s.
I have made some (local) changes to ma... -
- There are two example progs for interrupts (*@ex-interrupt1.C@* and *@ex-interrupt2.C@*).
I am not sure that they ar...
04 Nov 2019
-
11:01 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- John Abbott wrote:
> Anna suggested *@--only-cocoalib@*
>
> JAA prefers that the default be "only cocoalib", and ...
01 Nov 2019
-
- Anna suggested *@--only-cocoalib@*
JAA prefers that the default be "only cocoalib", and that an option must be giv... -
- Considering adding configuration option(s) to specify:
* compile just cocoalib
* compile cocoalib and also also CoC...
31 Oct 2019
-
- ...
-
- Valgrind OK...
-
-
- Next meeting is 2019-11-21 at 11:00.
AIM: *get interactive window and history mechanism working.*
30 Oct 2019
-
- This slug still exists: on my current machine, top reports that CoCoA-5 is using 13Gbyte of memory. The computation ...
-
- It is no longer very slow; no sure how fast it is (seems to be instant).
Closing.
-
- *2019-10-30* Update: I now have gfanlib-0.6.2 (released 2018-09-28 according to GFanlib website).
However it sti... -
- If the number of steps in the PRS is very small then a direct method may well be better than the modular method.
T... -
- gcd of low degree polys with big coeffs can be too slow....
-
- *2019-10-30* I have just tried the example in comment 1, and it no longer crashes. No idea when it was resolved.
... -
- Exactly what wordsize assumptions do we want to make?
* *(A)* 32-bits or not (meaning more than 32?)
* *(B)* 32-... -
- *2019-10-30* I have just checked, and CoCoALib and CoCoA-5 both compile, run and all tests pass on my little 32-bit m...
-
- There was recent email from Bjarke Roune stating that he will no longer be able to maintain Frobby.
We should contac... -
- Note that there is already *@SubresultantSeq@* in @SparsePolyOps-resultant@.
Where did this impl come from? Is it a... -
- Here is a family of examples where factorization may not work so well:
let @f@ be a product of @x^k-1@ where the @k@... -
- When using the Emacs UI, possibly confusing problems can arise if the user has started to type some input in the exec...
-
- I have compiled CoCoA-5 (current CVS) on my little 32-bit netbook (with @readline@ but no other extlibs). Compilatio...
-
- FWIW I have compiled CoCoALib on my old "netbook" which is 32-bit. All tests passed.
-
- I wonder how this was achieved with CoCoA-4.
I do not believe that we implemented any special in CoCoA-4 to enable... -
- The GUI needs to start a separate process for CoCoA-5, and then be able to send inputs to CoCoA-5, and receive output...
29 Oct 2019
-
- Documented (and modernized its doc file)
-
- documented in @RingElem.txt@
-
- Checked in @IndetsIn(vector<RingElem>)@
-
- The usual trick to ensure that header files are read only once is to define a CPP variable the first time the header ...
-
- The code in *@TmpLDP.C@* uses old C functions *@time@* and *@srand@*.
Try to update the code to clean, modern C++.
-
- I must have done this some time ago; no doubt shortly after it was reported.
I have just removed some @using names... -
- Here are some design details which must be sorted out before much can be implemented:
* which XML tags are used in t... -
- The ApCoCoA UI must offer a means of opening manual pages in a separate window.
The content of this window must be... -
- I have another suggestion: add the flag *@--only-lib@* that does @--no-boost --no-readline@ and does not compile coc...
28 Oct 2019
-
- Ahhh. I see your point.
For CoCoALib the option *@--no-boost@* does nothing (since CoCoALib does not use BOOST, I... -
- I think that @--no-boost@ should be listed as a CoCoALib option, because it can compile without boost, instead of a C...
27 Oct 2019
-
- I have just compiled CoCoALib with the option *@--no-boost@*, and everything worked fine (as I expected/hoped). Of c...
-
- Bruns recently asked (by email) if configuring CoCoALib with *@--no-boost@* will work OK.
I believe CoCoALib does ... -
- I think this may already be almost done. Let's finish it soon!
-
- Let's finish this soon! Boosted priority, and brought target version forward.
I think it is almost done anyway... b...
26 Oct 2019
-
- tried. works. closed.
-
- I have made the changes which I think are right for having *@until@* recognized as an end-keyword.
I have tried to c... -
- John Abbott wrote:
> Mind you, anyone who types in any of the above is just being a vandal (mmm, me too?)
Now cal...
25 Oct 2019
-
- Added sleep to ConfigEmacs mac and linux
-
- updated accordingly the scripts in @release-files/@
-
- Good point! I think we should set the same timings in the installation script (for Mac it's called @ConfigEmacs@)
-
- One could argue that this is relatively unimportant for normal users (_i.e._ those who download CoCoA-5) since they _...
-
- A slightly previous version of the script would sleep for 1 sec, print error mesg, sleep for 1 sec, then exit.
An ... -
- The usual way to start CoCoA-5 is to run the script *@cocoa5@*.
This script runs some quick basic checks then call... -
- I now see that in *@cocoa5.el@* there are two very similar constants: *@cocoa5-endkeywords-list@* and *@cocoa5-end-bl...
-
- I think I may have solved this (without actually understanding what the emacs-lisp code does).
I have changed the ... -
- Here is a test case:...
-
- I have tried some more tests. Mostly it seems OK, but it is possible to confuse the parser:...
-
- I was surprised by the following line in @points.cpkg5@...
-
- I noticed some old code in *@points.cpkg@* which does not work in CoCoA-5.
In any case, most functions in that pac... -
- I have added *@<=@* and *@>@* and *@>=@* to the list at the top of the page.
I also noticed that there appears to ... -
- The first time I use the online manual in CoCoA-5, I always get a warning about the *@operators, shortcuts@* page bei...
-
- Here is a command for finding lines which contain commands like *@A := A + blah@* or some other operator -- it does f...
-
- One big advantage of rejecting the idea of introducing *@+=@* and friends is that there would be no need to fiddle ar...
24 Oct 2019
-
- CVS-ed. Also CoCoA-5 tests pass :-)
-
- Not really sure how to do this cleanly, so I have "hacked" the class @Token@ in @Lexer.H@ (near line 243) by adding a...
-
- Oh, that is strange.
I suppose the parser thinks that @10 x@ is more likely a typo for @10*x@, but that @10 3@ is pr... -
- Here is the background for my request.
I want to modify @MinPolyQuot@ so that it accepts "relatively zero-dim idea... -
- I would like to create a new ideal from a list which I know is a (reduced) GBasis.
How should I do this?
In fact,... -
- I have just added (in @SparsePolyOps-RingElem.C@) an impl for @IndetsIn(const std::vector<RingElem>&)@.
The result i... -
- I recovered the check on 32/64 bits for linux even though we no longer distribute 32-bit.
(but this way the user get...
23 Oct 2019
-
- I made a new release for mac and for linux on the webpage.
-
- Done, I believe.
Now testing comes.
-
- I have updated the release-* scripts for Linux, Mac and Microsoft.
CVS-ed.
-
- I have noticed that @cocoa5-linux@ still includes the trick for choosing between 32-bit and 64-bit executables. Isn'...
-
- The bug the student had found had been fixed (ages ago?) in our "private" version of @cocoa5@, but the change was nev...
-
- A student today reported a problem with CoCoA-5 on her Mac: we released a "bad" version of the @cocoa5@ start-up scri...
22 Oct 2019
-
-
21 Oct 2019
-
- Here is an example which shows that @RationalSolve@ can be unreasonably slow:...
-
- Done, tested, cvs-ed.
To do: documentation. -
- While updating the code for monomial ideals using the new range-based for loop I realized how many times I need to in...
-
-
- used massively for monomial ideals.
Tested.
cvs-ed. -
- We should maintain a list of files to change and/or a list of files already changed.
* @SparsePolyOps-ideal-monomial... -
- Since C++11 there is a new "range-based" *@for@* loop.
Employ it where appropriate in CoCoALib. -
- I have created a new issue (#1346) about using the new *@for@* loop syntax; please put relevant progress reports ther...
-
- John Abbott wrote:
> * use *@auto@* instead of the explicit type for C++ iterators (usu. the explicit type is "unrea...
19 Oct 2019
-
- John Abbott wrote:
> If you were running your tests from a @cocoa5@ session, then you should also check with @ls -l@... -
- Very strange. I think I may have seen a similar phenomenon occasionally, but @make clean; make@ always seemed to fix...
-
- My mistake?
I tried again, and I cannot longe reproduce it.
It is linked correctly.
-
- I was testing a change made in @SparsePolyOps-ideal-monomial.C@, and, though it did recompile the file, the new code ...
18 Oct 2019
-
-
- It may be helpful to keep a list of source files which have been "done" (this may also include that the file was look...
-
- I must re-read the relevant parts of Meyers's book (Eff. Modern C++). Where should we use *@auto@*?
* use *@auto@* ... -
- done, documented, tested
17 Oct 2019
-
- I have merged several tests in the series @test-NumTheory@ and @test-SparsePolyRing@ into fewer files.
I have prefer... -
- I have added a test (and also reorganized several of the existing tests).
Closing.
-
- OK for the name *@RingElems@* it is a bit like *@symbols@*
(I do not really like it that much, but cannot think of ... -
- Some obsolescent functions have been so for a long time.
Clean out some of the oldest ones (for 5.3.0).
-
- John Abbott wrote:
> Perhaps the criterion in comment 3 should consider only those indets which actually appear in t...
16 Oct 2019
-
- I have just run the test given in comment 2; now only the first one evals its arg twice.
Is this easy to fix?
Mov... -
- This issue has been lingering for years. Now it is marked as *urgent* (so moving it back to target 5.3.0).
*Anna* n... -
- The CoCoA-5 manual page has already been fixed.
I have just modified @BuiltinFunction-CoCoALib.C@ so that an error... -
- I have just tried a quick test: it is a bit surprising that the resulting strings are different...
-
- Apparently I checked this in some time ago -- I suppose not long after the previous comment (5 months ago).
Maybe ... -
- ApCoCoA input files are organized into "projects"; a project is just a directory.
There should be a small window f... -
- In addition to teh interactive input window, it is possible to have other "tabbed windows" each associated to a (dist...
-
- The solution appeared to be that Klaus had to log out and log in again. Then all issues were visible to him.
-
- Redmine does not show 1340 when Klaus asks for a list of issues inside ApCoCoA project.
-
- *2019-10-16 Current state*
Klaus summarises the current state as follows:
* early prototype
* JAA confirms that ... -
- There is a *single* interactive window.
*Q:* Martin can you confirm this?
The user types input into a blank "new ... -
- Issue to summarise design of "interactive window" and its history mechanism.
Also to report progress on implementati... -
- There used to be a function like this is CoCoA-4, I think.
What was it called? What was its interface?
-
- Bernhard Andraschko wants a function which produces a list of all PPs with given wdeg (actually stddeg in his case).
...
15 Oct 2019
-
-
-
-
- I like the name *@RingElems(R, str)@* because it recalls the constructor @RingElem(R, str)@.
The name I suggested ... -
-
- All tests pass, examples too. Even with debugging active.
Checked-in.
Closing. It is not worth devoting any more ... -
- _Add to this list as we do things (or remember things we have already done)_
List of principal changes made:
Bu... -
- Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* Redmine Release... -
-
- John Abbott wrote:
> My simple idea was just to add say 0.1 to the actual measured time: if minpoly is fast,
> this... -
- This example is very very slow because a factor of @MinPolyQuot(t,I,t)@ produces an ideal with a very slow GBasis.
<...
14 Oct 2019
-
- I agree it would be nice to have them all start the second part of the name with @Ideal@ (or maybe @ideal@?)
Mayb... -
- We have these files:
SparsePolyOps-ideal.C,
SparsePolyOps-IdealOfPoints.C,
SparsePolyOps-IdealZeroDim.C
so, s... -
- I have just tried modifying the code, but *it does not work as expected.*
In @SparsePolyOps-Ideal0Dim.C@ around l... -
- We have another funny problem: @MinPoly@ is too fast ;-)
The timeout for @GBasis@ depends only on the time spent in ... -
- Ha ha! I did not change "nearly" all 0s into @nullptr@ that need to be changed.
I've just changed many more... it i... -
- Not quite :-/
there is still something dodgy:... -
- John Abbott wrote:
> Should we postpone this issue to the release after 5.3.0?
I think we should aim at 5.3.0.
I... -
- This has apparently all been done (incl. doc, tests, CVS).
No complaints, so closing. -
- Well, I am now sync'd with CVS, so presumably this also works fine for Anna.
Apparently I have deleted the source fi... -
- I am inclined not to put in any tests since CoCoALib merely delegates all the work to GMP.
Also, as the function is ... -
11 Oct 2019
-
-
- Should we postpone this issue to the release after 5.3.0?
-
- I have revised the title since we changed the planned version number ;-)
-
- Running the example on the man page for @StandardInput@ is definitely a problem. I do not know how to fix this (othe...
-
- It would be good to close this soon.
We should test it on the 3 usual platforms: GNU/Linux seems OK to me, Mac? M... -
- I think this has already been done. Changed status to "resolved".
-
- This was actually fixed some time ago; I just forgot to tell redmine.
-
- I have renamed @jacobian@ to @JacobianMat@; @jacobian@ is now in obsolescent (both for CoCoA-5 and CoCoALib).
-
- John Abbott wrote:
> Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should... -
- I have changed the CoCoA-5 manual to use the new name. There was no need to change any tests.
Also added @Sylvest... -
- Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should it be called *@Jacobi...
-
- What should @SylvesterMat@ do if one of the args is 0?
An error must be signalled, but how?
Currently the error is ... -
- I have now made the impl in C++; more or less a straight copy of the CoCoA-5 code.
It seems to work (on 2 simple e... -
- Here are the main features of the UI which Martin wants to preserve:
* allow cut-and-paste of arbitrarily large text...
10 Oct 2019
-
-
-
-
-
-
- The power of the new string syntax: can be defined in one line, and the strings are evaluated in the appropriate ring...
-
-
- reminder: write doc for cocoalib
-
- John Abbott wrote:
> To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix... -
-
- Still no reaction. Anyway, there is a test in @exbugs.cocoa5@. So we can close.
-
- One "advantage" of @BlaBlaVector@ and @BlaBlaList@ is that it help reminds the programmer that indices in the first c...
-
- what about @RingElems(ring, string)@?
Similar to @RingElem(ring, string)@... or too similar?
One thing I do not l... -
- reminder: choose name and write doc for cocoa-5
-
- For the moment called (also in CoCoA) @ReadExprVector(ring, string)@.
Example @ReadExprVector(R, "x-1, y^3-2, x*z")@... -
- John Abbott wrote:
> This fn should be in CoCoALib!
> Move it there and change its name; and put @sylvester@ into o... -
- This fn should be in CoCoALib!
Move it there and change its name; and put @sylvester@ into obsolescent. Change the ... -
- I vote for @SylvesterMat@
-
- Here are some questions:
* roughly how long might it take to resurrect it?
* could it be easily translated into C++... -
- yes, fixed.
I wonder if I should resurrect this package...
-
- John Abbott wrote:
> I now see that the errors reported in the examples about hyperplane arrangements are intentiona... -
- reminder: write doc for cocoalib
-
- reminder: write doc for cocoalib
-
-
- Dramatic improvement using the new function @ReadExprVector@ in @ex-MVT-Simplicial.C@. (because the new function cre...
-
- John Abbott wrote:
> 2019-09-23 This is still very slow. Here is a specific test case:
> [...]
New function @R...
09 Oct 2019
-
- I have run an example (in a ring with 4999 indets) with the profiler (it was rather slower than I expected).
The t... -
- I have just tried the example from comment 4, but in a ring with 9999 indets (instead of just 999). The time increas...
-
- I now see that the errors reported in the examples about hyperplane arrangements are intentional; _i.e._ the example ...
-
- Here is a quick summary of the problems with MaxExamples@ (after I have already fixed a few)
*NOTE*: I do not have ... -
- I have just run @make ManExamples@, and there are some problems.
Fix them.
-
- A simple approach would be to have either a manual page about contributors, or a function which prints out some infor...
-
-
- Next meeting with Nguetsa: Wed 16th Oct, at 14:00.
Intro to redmine; plan for next 2 weeks. New version of cocoa5.... -
- What characteristics of the new UI must be tested?
Here is a list: probably each entry here will correspond to a n... -
- Now also for non principal ideals...
-
- Done:
I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in ... -
- I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in @RingEl...
Also available in: Atom