Activity
From 14 Oct 2022 to 12 Nov 2022
12 Nov 2022
-
14:23 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- The BOOST "find" script does not give error if more than 1 installed version is found;
instead is simply picks one (... -
14:21 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- I have revised the @configure@ options, and several auxiliary scripts (after feedback/suggestions from Anna & Ulrich...
-
13:58 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- I think I have progress here with helpful testing & feedback from Ulrich.
It is quite a nightmare trying to make p... -
13:55 CoCoALib Bug #1600: Detect updated versions of external libs
- Is this a duplicate of issue #1700?
-
13:53 CoCoALib Support #1700: boost_1_80_0
- On my MacBook I get over 100000 (one hundred thousand) lines of warnings when compiling.
I think there is some mild ...
11 Nov 2022
-
22:21 CoCoA-5 Design #1709 (Closed): Test tut-CoCoLA2
- @tut-CoCoLa2.cocoa5@
prints out the result of @LinKer@ which may vary from call to call.
Change the test so that ...
07 Nov 2022
-
20:05 CoCoA-5 Support #1393: GUI with Qt5
- Ulrich suggests asking the QCodeEdit author if we distribute under GPLv3+
NOte: try website @https://bruant.info@...
04 Nov 2022
-
16:02 CoCoA-5 Support #1393: GUI with Qt5
- *Anna*
Could you check Ulrich's changelog in note-28 above.
He has made some changes regarding BOOST and @no-pie@
... -
11:47 CoCoA-5 Support #1393: GUI with Qt5
- Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
-
11:21 CoCoA-5 Support #1393: GUI with Qt5
- I am having trouble with the patch file. Many failed.
I'll email you my current sources, and hope you can produce a... -
14:31 CoCoALib Feature #1676 (Rejected): txt2tags: include in source distribution?
- We should probably distribute source code with precompiled doc so no one actually needs @txt2tags@.
-
13:45 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?
- I have revised the impl -- it now works better.
Much of this code is quite similar to @CpuTimeLimit@.
The commo...
03 Nov 2022
-
14:31 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?
- John Abbott wrote:
> A likely cause is that the frequency of proper time checks is too low (because of the very fast...
02 Nov 2022
-
10:33 CoCoA-5 Bug #1708: Linux: just 1 executable, should be 2 (with & without readline)
- We had already discussed this about 2 years ago (issue #1479)
The script is ready to handle the case of 2 executable... -
10:31 CoCoA-5 Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline)
- We are distributing CoCoA-5 with just a single executable (with readline).
We should be distributing 2 versions: one...
01 Nov 2022
-
22:02 CoCoA-5 Support #1707: User forum?
- Indirectly suggested in email from Michael Wijaya (2022-11-01).
The idea seems good to me. MW indicated that send... -
21:59 CoCoA-5 Support #1707 (New): User forum?
- Should we make a user forum where CoCoA-5 users can post questions when they have problems?
30 Oct 2022
-
20:30 CoCoALib Feature #1706 (New): slimgb: Brickenstein, singular
- While tidying up I found a report about _Slimgb: Groebner bases with Slim Polynomials_ by Brickenstein.
After a ve...
24 Oct 2022
-
15:18 CoCoALib Bug #1705 (In Progress): ProgressReporter: prepare for new loop?
- A likely cause is that the frequency of proper time checks is too low (because of the very fast iters of the 1st loop...
-
15:15 CoCoALib Bug #1705 (In Progress): ProgressReporter: prepare for new loop?
- I have a program with 3 loops, and would like to have progress info about each loop.
The 1st loop is very fast; the ... -
09:41 CoCoA-5 Support #1393: GUI with Qt5
- Thanks, Ulrich!
I hope to look at this during the week. I had already made several changes regarding BOOST, so I'll... -
08:55 CoCoA-5 Support #1393: GUI with Qt5
- As a test I built the GUI successfully on OpenBSD.
The process exposed also several several minor issues with the ...
21 Oct 2022
-
22:39 CoCoALib Design #1703 (In Progress): Threadsafety, multithreading: optional fn arg (or separate fn)
- I have implemented threadsafe mem fns *@myAdd@* (equiv to *@op+=@*).
Now it is not so clear whether *@myTotal@* also... -
15:05 CoCoALib Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn)
- I have not (yet) checked what the penalty might be for using a threadsafe version in a multi-threaded
situation but ... -
15:02 CoCoALib Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn)
- Might it make sense to offer the caller the option of choosing
between a "threadsafe" call and one which is not?
... -
16:01 CoCoALib Design #1704 (New): Symlink directory for external files needed by CoCoA-5
- Mimic @ExternalLibs/@ directory (Feature #573) for making symlinks to libraries needed only by CoCoA-5.
-
15:53 CoCoA-5 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)
- Added Feature #1701: could be a good source of ideas to be refined, tested, documented, developed.
-
15:50 CoCoA-5 Feature #1701: Preliminary packages
- Created new directory: *@src/CoCoA-5/packages/preliminary/@*
We'll think about documentation later...
-
15:25 CoCoA-5 Feature #1701 (In Progress): Preliminary packages
- Anna approves the idea (in a nebulous way).
There are some thorny questions:
*(A)* how will these packages be docum...
19 Oct 2022
-
14:23 CoCoA-5 Design #1698: indent: return a string?
- It has to be said that having indent returning a string would be more compatibile with the functions *@format@* and *...
-
14:06 CoCoA-5 Design #1698: indent: return a string?
- Anna Maria Bigatti wrote:
> now that I'm using it, I'm having compatibility problems with the rest of the world stil... -
13:52 CoCoA-5 Design #1698: indent: return a string?
- now that I'm using it, I'm having compatibility problems with the rest of the world still with earlier versions.
So ...
18 Oct 2022
-
20:56 CoCoALib Feature #1702 (In Progress): Use C++ attributes
- Since C++11 _attributes_ are available.
These can be used to suppress compiler warnings, or give hints about likelih...
17 Oct 2022
-
14:38 CoCoA-5 Feature #1701: Preliminary packages
- As an example, there was a package implementing some common "transcendental functions" (_e.g._ *@sin@*, *@log@*).
I ... -
14:35 CoCoA-5 Feature #1701 (In Progress): Preliminary packages
- Some while ago Kreuzer gave me many CoCoA packages developed by his students over the years.
I did look at a few o... -
14:04 CoCoA-5 Design #1568: RMap and image: obsolescent?
- Any progress here?
I'd like to complete this issue. It is one of those frustrating ones which take
quite a bit of ... -
14:02 CoCoA-5 Feature #912: Add TUTORIALs to online manual
- I have some new students learning CoCoA-5.
I shall ask them for constructive feedback about improving the tutorials ... -
13:59 CoCoA-5 Feature #1373 (In Progress): GFan also for Microsoft?
- I am hoping to see Nico Mexis from time to time during this semester.
Perhaps I can ask him for notes about what he ...
14 Oct 2022
-
20:12 CoCoALib Design #1699: Shell scripts: Shebang line, etc
- On a more practical note, perhaps the following shebang line provides the behavior that you want (without warranty or...
-
16:51 CoCoALib Slug #701 (Rejected): Makefile; limit dependencies on external libs
- John Abbott wrote:
> doing this correctly would require considerable effort, and the likely benefit little and sel... -
11:37 CoCoALib Slug #701 (In Progress): Makefile; limit dependencies on external libs
- My thinking is still aligned with comment 1:
doing this correctly would require considerable effort, and the likel... -
12:32 CoCoALib Support #1700: boost_1_80_0
- I still have some warnings, but it compiles and works fine...
-
11:45 CoCoALib Support #1700 (Resolved): boost_1_80_0
- I wonder if there is a simple away to warn users of potential problems?
A similar problem could arise with any of ... -
10:18 CoCoALib Support #1700: boost_1_80_0
- Problems with...
-
10:16 CoCoALib Support #1700 (Closed): boost_1_80_0
- Problems and solutions
-
11:53 CoCoALib Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5
- The advantage of two separate @configure@ scripts is that they would be smaller (and more manageable?) than the one *...
-
10:11 CoCoALib Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- Anna Maria Bigatti wrote:
> I'd rather not.
> First of all, it works as it is.
> Secondly, CoCoALib and CoCoA-5 ar... -
10:31 CoCoA-5 Design #1697: Specifying BOOST in configure
- It seems that -Bstatic works only for linux...
-
10:26 CoCoA-5 Design #1697: Specifying BOOST in configure
- I would change @--with-boost@ with @--with-boost-hdrs@ or @--with-boost-incdir@ (or similar) to highlight that for bo...
Also available in: Atom