Activity
From 19 Jan 2020 to 17 Feb 2020
17 Feb 2020
-
15:18 Support #240: GUI compilation: GMP is not naturally thread-safe
- This issue is very old. GMP has surely changed over the last 5 years (but last update was about 2 years ago).
The o... -
- I propose:
* make Linux binaries *without* libblas
* make two binaries: the default one with @readline@, and anothe... -
- Visit is over. We managed to do most things :-)
Closing. -
- Removed old impl. Added doc and test.
-
- Anna can you try compiling the latest version (3.8.4)?
Also note well what you had to do to make it compile.
-
- This is not urgent for Vietnam; postponing. Though it we be good if we could make some progress.
-
- I still prefer postponing this issue to the next version, so that we can discuss better the semantics, and when/if er...
15 Feb 2020
-
- The current state is that only the entries for *@OpenSocket@*, *@ReloadMan@* and *@SystemCommand@* report errors.
I ... -
- I have unpacked the latest targz "binary" file for CoCoA-5.2.9.
Some files erroneously have "execute" permission:
... -
- There was not enough time during my visit, so we were unable to look at this. Postponing to next version.
-
- There is a tutorial about the emacs UI. Perhaps this can be extended; or maybe a "basic" and an "advanced" tutorial?
-
- Make the manual entry for *@NewPolyRing@* easier to understand.
-
- This seems to work fine now. The manual page needs cleaning; but I'll make a separate issue.
Closing.
-
- @find@ may also behave in a "slightly unexpected" way:...
14 Feb 2020
-
- If the list @L@ contains entries of different types then the fn defn given above might produce an error (since @opera...
-
- Now it gives @false@.
Added test to @test-bug3.C@.
-
-
13:51 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I prefer A, John prefers B, so we'll have them both.
Write documentation. -
- Names have been improved. Perhaps we'll think of better ones after the COCOA School...
Closing.
-
-
- It would be nice to improve this a bit for Vietnam. Do we have enough time to do so?
-
- We should remove the link to Sapporo (since it is no longer relevant).
Our web page is @http://cocoa.dima.unige.i... -
- This cannot be solved: the remote has been replaced by something else.
Closing.
-
- final minor polishing.
-
- The old Qt interface has not worked for quite some time.
Also we now handle CPP flags in a different way (via the fi... -
- Anna assumes henceforth *TOTAL RESPONSIBILITY* for @obsolescent.cpkg5@.
She wants to extend it until eternity. Go...
13 Feb 2020
-
-
- Robbiano dice che il nuovo codice di Long e` sufficiente. MK crede che la vecchia codice (in C++) sia piu` veloce.
... -
- Marked some tests as *@INACTIVE@* (by changing file name); Anna thinks it is best to keep these tests around, in case...
-
- Seems OK now. No doubt the school in Vietnam will be an "interesting" proving ground.
Closing.
-
- The option is available unde the CoCoA-5 drop down menu. It remains active only the current emacs session: if you cl...
-
- To appease Anna I have implemented the special case of the power of a diagonal matrix in CoCoALib (and removed @Power...
-
-
- Not necessary for this release. The remaining fns should be ported to C++; then we can elim the package.
-
- Maybe the move ctor from C++14 can help here?
Postponed because it will take (a lot of) time to fix.
-
- The problem remains on the main page for CoCoA-4.7.5.
In any case, we are planning to hide/remove these (very old) p... -
-
-
- manual done
-
- done...
-
- A command line flag for the CoCoAInterpreter is now available, but it does not yet open a socket. This will be fixed...
-
- I have ported the code. In fact @thmproving.cpkg5@ is already included in 5.3.0, but completely undocumented. Let's...
-
- Port old CoCoA-4 package *@thmproving@* to CoCoA-5.
-
- See comment 6 in issue #1358. I think it might be relevant here.
-
- This has been working trouble-free for 3 months. Closing.
-
- I have added the example to @exbugs.cocoa5@
Closing!
-
- Seems to work now.
We did not note how we fixed the problem in comment 5. :-/
closing? -
-
-
-
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!)
04 Feb 2020
-
- 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...
31 Jan 2020
-
- Done.
The solution I implemented is this. (a bit like public/private functions in C++)
The package $hp, responsibl... -
11:25 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...
30 Jan 2020
-
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
28 Jan 2020
-
- I tried something like the following:...
-
- 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... -
24 Jan 2020
-
- 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...
Also available in: Atom