Project

General

Profile

Activity

From 28 Oct 2022 to 26 Nov 2022

26 Nov 2022

14:52 Bug #1714 (Feedback): IsDivisible error (in QuotRing)
Problem was in *@SparsePolyRingBase::IdealImpl::myDivMod@* (in file @SparsePolyOps-idea.C@)
We did not check for th...
John Abbott
14:18 Bug #1714: IsDivisible error (in QuotRing)
I can also trigger NYI:... John Abbott

24 Nov 2022

13:36 Bug #1714: IsDivisible error (in QuotRing)
The problem exists also in char 0... John Abbott
12:17 Bug #1714: IsDivisible error (in QuotRing)
Simpler failing case:... John Abbott
12:13 Bug #1714 (In Progress): IsDivisible error (in QuotRing)
Bug confirmed with current internal version.
Does not depend on char; same bug with other chars.
John Abbott
12:11 Bug #1714 (Closed): IsDivisible error (in QuotRing)
Bernhard Andraschko reported by email the folllowing:... John Abbott

23 Nov 2022

18:17 Support #1393: GUI with Qt5
Email bounced. John Abbott
17:53 Support #1393: GUI with Qt5
I have just written to @fullmetalcoder@ asking whether we may re-distribute @QcodeEdit@ under GPLv3+ rather than GPLv... John Abbott
17:32 Bug #1695 (Feedback): boost-find-lib.sh
JAA thinks this has probably been resolved by the new configuration system.
So changing to *feedback* status.
John Abbott
17:25 Design #1697 (Feedback): Specifying BOOST in configure
Anna: I think this issue no longer exists with the new/revised configuration system (scripts).
Correct? If so, plea...
John Abbott
10:57 Bug #1713: Windows: Qt-Gui does not link correctly
John Abbott wrote:
> Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
> ...
Nico Mexis
10:09 Bug #1713: Windows: Qt-Gui does not link correctly
Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
I use a "personal instal...
John Abbott

22 Nov 2022

23:44 Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly
As discussed in #1712, problems with the Qt-Gui should be handled in another issue.
When trying to link the Qt-Gui...
Nico Mexis

20 Nov 2022

15:03 Support #1393: GUI with Qt5
It is still not clear to me what bothers you about the QCodeEdit license. As I said on the phone call you refer to, i... Ulrich von der Ohe

18 Nov 2022

21:54 Design #1709: Test tut-CoCoLA2
Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob...
Ulrich von der Ohe

16 Nov 2022

20:35 Design #1709: Test tut-CoCoLA2
PS: Sorry for the late clarification -- I wasn't aware that this was posted here and only saw it by chance. Ulrich von der Ohe
20:10 Design #1709: Test tut-CoCoLA2
John Abbott wrote:
> @tut-CoCoLa2.cocoa5@
> prints out the result of @LinKer@ which may vary from call to call.
> ...
Ulrich von der Ohe
15:42 Design #1709: Test tut-CoCoLA2
I think there are 7 places to revise...
Just search for @LinKer@ and see which ones actually are printed.
John Abbott

11 Nov 2022

22:21 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 ...
John Abbott

07 Nov 2022

20:05 Support #1393: GUI with Qt5
Ulrich suggests asking the QCodeEdit author if we distribute under GPLv3+
NOte: try website @https://bruant.info@...
John Abbott

04 Nov 2022

16:02 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@
...
John Abbott
11:47 Support #1393: GUI with Qt5
Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
John Abbott
11:21 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...
John Abbott

02 Nov 2022

10:33 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...
John Abbott
10:31 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...
John Abbott

01 Nov 2022

22:02 Support #1707: User forum?
Indirectly suggested in email from Michael Wijaya (2022-11-01).
The idea seems good to me. MW indicated that send...
John Abbott
21:59 Support #1707 (New): User forum?
Should we make a user forum where CoCoA-5 users can post questions when they have problems?
John Abbott
 

Also available in: Atom