Activity
From 13 Jan 2020 to 11 Feb 2020
11 Feb 2020
-
18:33 CoCoALib Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled
- The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d... -
18:31 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- worked on TmpGReductor: much more readable!!!
-
- Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A... -
- Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa... -
- I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really... -
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
-
- The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see...
-
-
- Improved doc with Anna's help. Closing.
07 Feb 2020
-
- Here is another example (with *@DegRevLex@*). The "Final clean up" consumes 99% of the time!...
06 Feb 2020
-
- same here!
-
- An important clarification:
* if I send a line to CoCoA-5 then the magnification remains unaffected
* if I do *@Sou...
05 Feb 2020
-
- On my computer it keeps the big fonts.
Both on emacs-24 and emacs-26. -
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... -
- I have made the manual entry better (I hope!)
-
- I like the suggestion to change the fn to *@void@*. Still we should discuss it when I'm there.
Also we should look ...
04 Feb 2020
-
- Florian has reported a problem with our being "naughty" about making a new release without changing the version numbe...
-
- The corrected code should be in 0.99700.
We should discuss the design when I'm in Genoa. Maybe we can finish this f... -
- I have just spoken to Klaus.
JAA will try to modify the interpreter so that it send the "status messages" to a speci...
03 Feb 2020
-
- done. checked-in.
-
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
-
- I realized that tex fails if the syntax field of a command is missing, and the error message is not helpful (problem ...
-
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... -
- John Abbott wrote:
> I have been caught out by this myself on several occasions. I know one can use @mod@ instead, ... -
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
-
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE... -
- This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved thi...
-
- I think it is OK now.
The problem was in @SparsePolyOps-ideal-ZeroDim.C@ around line 295. The result was computed... -
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... -
- I fixed this as well. Anyway, we can merge when I'm in Italy (hopefully).
I agree that the use of @myAssignPrimar... -
- I added the test to @exbugs.cocoa5@
-
- This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)...
-
- I spent a few hours fixing a bug in...
31 Jan 2020
-
- Done.
The solution I implemented is this. (a bit like public/private functions in C++)
The package $hp, responsibl... -
11:25 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Yes, i just want to create a "new" Hilbert series without knowing a generating system of the ring corresponding to it...
-
- Fate wants that I'm facing exactly the same problem!!
And I have a neat idea in mind!
Bernhard: which tags do you... -
- I suppose the GPG signatures give a better guarantee of correctness.
Probably we should try both ways, and see how...
30 Jan 2020
-
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
29 Jan 2020
-
- *2020-01-28* I have written to Anders. He is willing to put a @GFANLIB_VERSION@ CPP macro in future versions (starti...
-
- I have just stumbled across "GPG" signatures for software. There is a description at @https://www.gnupg.org/gph/en/m...
28 Jan 2020
-
- I tried something like the following:...
-
- Julian already has an impl which works for him/
We should decide exact semantics and API.
*After* Vietnam!
-
- Add a new function to perform interreduction of a list of polys.
Julian already has an impl.
-
- hmmm, you are right.
"terms" should be in the keys for support, monomials, coefficients, at least.
-
- One possibility is that @?terms@ produces the page for @NumTerms@, but that then in the "see also" section there are ...
-
- What do you expect the CoCoA-5 manual to respond to the query:...
-
- I have implemented a *@fold@* function in CoCoALib, and exported it to CoCoA-5.
I have not implemented a "smart" f... -
- Since this issue was created we have also added @SignalWatcher@ to CoCoALib; so this issue is just as relevant to CoC...
-
- I think the function that I added is the following...
@(defun cocoa5-send-string (cocoa5-input-line)...)@
I prefe... -
27 Jan 2020
-
- We should check the situation, and add appropriate advice in the release notes!
-
- I am rejecting this issue.
The "squarefree" part is too risky/costly for large integer args.
It could be done for p... -
- It still happens -- in a sense.
It is not really harmful; just a bit annoying.
If I do @make lib@ then it compi... -
- Currently we have @MakeTermOrd@ both in CoCoALib and CoCoA-5.
Acceptable? Close?
Last comment was 2 years ago.
-
- This was presumably done about 4 years ago, but we forgot to close the issue...
Closing now.
-
- The timings on my current machine (Fujitsu) are:
@FactorMultiplicity(2, N)@ about 16s
@FactorMultiplicity(5, N)@ ... -
- It would be nice to finish this issue... possible for 0.99700?
[not really urgent, but its has been lingering for a ... -
- Here is what I did:...
-
- What is the status of this issue? Can we close it?
-
- Since we moved to C++11/C++14 we can use an atomic C++ counter instead of the threadsafe code; so I have already dele...
26 Jan 2020
-
- Now I think this is done:...
-
- Should we close this issue? Is it quite old, and I think we have learned to use redmine reasonably well.
Accordin... -
- Here is a simple program I have used for testing (just printing of @BigInt@):...
25 Jan 2020
-
- Better to postpone this?
-
- Any progress here?
I have noticed many files still do not have Abbott and Bigatti as copyright holders; I usually ... -
- Comment 18 about says that I have checked the code in (seems to be true!)
*Still no doc; and probably no examples.*
-
- The issue about allowing @[...]@ or not is similar (in my mind) to the issue about a semicolon at the end *@ReadExprS...
24 Jan 2020
-
- I blindly followed the advice in the error mesg, and now it seems to work.
Checking in :-)
-
- I was lucky 5 month ago... now I cannot even compile gfanlib. @configure@ fails :-(
-
- Now CoCoALib compiles with GFan, but @test-GFan1@ give the same problem as mentioned in #1308.
-
- It seems that @configure@ was giving just a warning (which is probably not a good sign). Anyway, it also created the...
-
- I have installed @cddlib-094j@, or so I believe -- a header file reports 0.94i as the version.
I then tried:
<pre... -
- L'idea che il codice di Kaspar (BB in C++) muoia dispiace a Martin.
Ma non vedo proprio perche' io devo pagare il ... -
- Maybe Long can do this. I certainly do not want to.
Why the F*** does Martin get his students to produce so much ... -
- Martin vuole che il vecchio pacchetto per le basi border sia tradotto in CoCoA-5.
Sono 1400 righe scritte da scimpan... -
- Long insisted that if this function exists then there *must* also be a function which given the index would return th...
-
- Maybe we should change the doc to say that people should not normally us this function?
-
- Long completely fails to understand why this function should not be used.
Delete it?
-
- Here is what I get currently:...
-
- I have just modified @Interpreter.C@ so that it prints out @[WAITING FOR INPUT]@ and @[RUNNING]@.
A few quick tests ... -
- I have just spoken to Kreuzer, and he showed me that the old ApCoCoA GUI would indicate either "Calculation in progre...
23 Jan 2020
-
- Perhaps the relevant function is @Interpreter::readAndExecute@, not sure though... (too busy with other stuff curren...
-
- I looked through the CoCoA-4 code (which used a Qt interface).
The situation is different from Klaus's problem becau...
22 Jan 2020
-
- A problem with watching for the prompt is that a user program might print out a copy of the prompt inside some string...
-
- For cocoa5 it's easy: if there is no prompt, then it is busy.
That was not the case for cocoa-4, which had no prompt... -
- I wanted to show my students how they could use the CoCoA on-line manual to find the function *@monomials@* knowing o...
-
- I have just added a new tutorial about operations on polynomials.
I think its title could be better. Suggestions?
-
- The problem is in the constructor (I think)...
-
- I see that this give error with no crash (loading extra manuals). This was what worried me most....
-
- ouch!
it should never happen, really.
But it is *bad*. I'll fixi it.
21 Jan 2020
-
- I still have the C4 source code, but also have very little desire to delve into it to find out what was done for the ...
-
- Klaus Nguetsa is building a new GUI for ApCoCoA+CoCoA-5.
He would like to emulate the feature on the old C4 GUI wh... -
- I have put 5.3.0 as the target, since it would be good to do the cleaning before releasing 5.3.0, but it is not neces...
-
- Proposal: hide or remove all pages about CoCoA-4 (and its manual).
We could perhaps add a sentence that anyone who... -
- If I make a manual query when the file @CoCoAHelp.xml@ is not found where expected, an @UNCAUGHT CoCoA ERROR@ happens...
19 Jan 2020
-
- BTW what was the original problem? Was it ever resolved? I suppose it was reported via email (?); when?
Why is the... -
- I believe this is not urgent, and it would also require some time and effort to achieve, so postponing.
Not sure why... -
- I have removed @ulimit@ from @RunTests.sh@.
All tests pass, even with debugging active.
Now all CoCoA-5 tests tog...
18 Jan 2020
-
- I have commented out the example for @StandardInput@. Hopefully the user will understand...
-
- Check the manual. Perhaps genuinely remove the fns which are only commented out?
-
- Should the "get-row" or "get-col" function make a copy or just refer to the original matrix?
Making a copy could b... -
- We could even use the names *@row@* and *@col@*, so sample uses would be ...
-
- We should make a few tests to see what actually happens with the current scripts.
While it should be harmless to a... -
- I'll think about it and investigate
-
- I am inclined to remove the web pages about downloading CoCoA-4.
If we really want to continue to make it availabl... -
- By chance I landed on the download page for CoCoA-4 -- apparently we still have such a page!
It caused Firefox on ...
17 Jan 2020
-
- I think the current impl is acceptable; so moving to _feedback_. Doc seems OK too.
-
- To release source code we should do the following:
# generate TARGZ file (maybe also TAR.XZ which is usually smalle... -
- Original request came from Winfried Bruns (via email on 2020-01-17).
The purpose of the SHA-256 checksum is to pro... -
- Winfried Bruns requests that we make available also an SHA-256 checksum for code that we distribute.
This seems to...
16 Jan 2020
-
- We (Robbiano and I) found a way to solve it quickly: compute the radical first!...
-
- Added test to @test-MatrixSpecial1.C@
-
- There is no test, but otherwise the code looks fine. Closing.
-
- The standard arithmetic operators were not listed (plus, minus, times, divide, power). Maybe others too? We should ...
-
- This is probably a very useful issue, but I prefer to add new functions after the next release (unless this fn is nee...
-
- This seems to work for me now.
We must add a test to @exbugs.cocoa5@; we can simply copy the failing case from the...
15 Jan 2020
-
- The following computation seems to spend more time in "clean up" than elsewhere; is this reasonable?...
-
- It is probably best to regard this as resolved, and just test it as is.
Perhaps it is not perfect, but I think the c...
14 Jan 2020
-
- I have just repeated the steps described in comment 4, and this time it worked as hoped.
I have a *doubt*: in the ...
13 Jan 2020
-
- Ulrich von der Ohe has written saying that he appears to have a working GUI with Qt5 (on his Linux box).
He has se... -
- It took about 3mins on my computer: anyway not more than 220s.
-
- Here is another seemingly simple system where @ApproxSolve@ is unexpectedly slow...
-
- John Abbott wrote:
> Recalling part of my comment 13:
> One aspect we could implement, which C++ does not, is the n... -
- Recalling part of my comment 13:
One aspect we could implement, which C++ does not, is the notion of "list of elems ... -
- Re-reading the comments I think it's not worth it.
I went through all the code and removed all calls to @CoCoAVect... -
- OK, I think we should not make a function in lib.
I added an example in ex-c++.C.
Now I realized that there is a ... -
- This works fine now, but only for few orderings.
The general case will not be done for this release. Postponing. -
- No hope to make this in time for 0.99720 (requires too much planning)
-
- Example: so I know where to find one ;-)...
-
- The real solution is using @RingElems@, this new function is actually quite useful for other things too, and also in ...
-
- As discussed in #1931, there are now two functions:
(A) @RingElems(RING, STRING)@ example @RingElems(P, "x*y,z")@
... -
- We could have a @RingElemList@ in CoCoA-5.
I have defined a function in @NotBuiltin.cpkg5@. About to check it in.
... -
- Could it make sense to have a "variant" fn which accepts @[@ and @]@?
Maybe @RingElemVec@ or @RingElemList@?
-
- It is compatible with @NewPolyRing(QQ, "x,y,z")@.
I prefer not to add the brackets because then we have to make th... -
- I separated the file into two files
@radical0dim.cocoa5@ and @radical.cocoa5@.
Even though the function is the same... -
- Thanks for the explanation. Now I will remember why.
Also available in: Atom