Activity
From 18 Feb 2023 to 19 Mar 2023
16 Mar 2023
- 19:49 Feature #1702: Use C++ attributes
- Let me clarify. I think we should try to *avoid warnings by rectifying the code.*
If we are sure the code is correc...
15 Mar 2023
- 08:40 Feature #1488 (Closed): BuiltIn Interreduce-Function
- Anna Maria Bigatti wrote:
> Anna Maria Bigatti wrote:
> > Reminder for me: write doc for CoCoALib (and check manual... - 08:06 Design #855 (Closed): Copyright and authorship?
- 08:03 Design #1721 (Feedback): Verbose messages: print level?
- You insipired me: I chose this look because this is how I've always desired the indentation for depth!
Reference: fi...
14 Mar 2023
- 22:51 Design #1721: Verbose messages: print level?
- I Tjink I might prefer to info to be inside (square?) brackets:
something like this:... - 22:04 Design #1721: Verbose messages: print level?
- John Abbott wrote:
What about *D depth - L level* _e.g._ @D3-L40@... - 21:32 Design #1716 (Closed): Qn: factor for BigInt
- The current state is reasonable. Some improvements could be made, but I'm not sure it is worth investing time in thi...
- 21:27 Feature #222: Printing polynomials - spaces between terms
- Sorry I typed in the example wrongly: there should have been a quotient (now corrected -- see comment 19)
- 21:22 Feature #222: Printing polynomials - spaces between terms
- *THIS REPLY BASED ON MY MISTAKE IN COMMENT 19*
On my computer I get... - 20:08 Feature #222: Printing polynomials - spaces between terms
- I am tempted to make the following change (which I hope is not too difficult):
* the coefficient of the PP 1 is prin... - 20:00 Feature #222: Printing polynomials - spaces between terms
- *SOURCE CODE* has moved: now near *@SparsePolyOps-RingElem.C:480@*
- 21:23 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I have done some more. Anna fixed yesterday's bug.
Need a break from this... anyway it does seem to make the code m... - 20:09 Feature #253 (Closed): W.Bruns's wish list
- 19:52 Support #256 (Closed): Improve doc about ordering/grading for poly rings
- 19:49 Feature #664: Impl small non-prime finite fields (using logs)
- I'd need a few free days to finish this (and to remember where I'd got to).
Maybe something for the summer holiday?
... - 19:45 Bug #1233: factor SEGV -- too large characteristic
- I have just tried:...
13 Mar 2023
- 22:03 Design #1716: Qn: factor for BigInt
- It is now possible to impose a timeout.
- 22:02 Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- The current impl is good enough for most purposes.
Some factors may be reducible if PollardRho is used.
Too bad.
C... - 21:57 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- This is a mind-numbing task.
Something weird in *@SparsePolyOps-reduce.C@*:
the obvious transformation of the code ... - 21:50 Bug #1712 (Closed): Windows: New configuration script
- Yes, this can be closed and the Qt-Gui already has its own issue: #1713
- 18:31 Bug #1712: Windows: New configuration script
- Can we close this issue?
Maybe make a new issue with details about the Qt GUI problem?
- 19:01 Design #1727 (New): Cruft in ExtLibs-Normaliz.C
- @ExtLibs-Nrmaliz.C@ contains quite a lot of commented out code.
Can it be deleted? Or is it an incomplete extension?
12 Mar 2023
- 18:04 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- About a year ago, I created a PR on their repo (https://github.com/txt2tags/txt2tags/pull/244) targeting the v2 branc...
11 Mar 2023
- 12:29 Design #1628: Unused variables, params, data members
- Several functions have an unused parameter @CheckForTimeout@.
It would be nice to activate the time-out for these fn...
10 Mar 2023
- 19:17 Design #855: Copyright and authorship?
- John Abbott wrote:
> I think we can close this.
> The code by Arri is destined to be removed before too long (and n... - 17:48 Feature #718 (Resolved): Insert calls to CheckForInterrupt
- I do this whenever I encounter a case which is not yet covered.
I think most cases are now covered. Hence 90%. But... - 17:46 Slug #1557 (Closed): Reading list of rationals is too slow
- This is not so important. Yes, it is strange that CoCoA-5 can read the input so fast... but it is not important.
09 Mar 2023
- 22:37 Bug #1719 (Feedback): FactorINT has got worse
- The current code works a lot better.
I suppose I should find time sooner or later to *implement the idea in comment ... - 22:25 Feature #1488: BuiltIn Interreduce-Function
- *Anna?*
- 22:23 Design #1689 (Closed): Automatic mapping of RHS in += etc
- 22:15 Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs
- It make sense to close this issue, and let issue #842 deal with the disappointing execution speed.
- 22:11 Support #1265 (Resolved): Unregistered TXT files in doc
- The only remaining case is *@SparsePolyOps.txt@* which is almost empty...
*BUT* there are several other files *@Spar... - 22:01 Support #26: Redmine Administration
- *Anna:* could you produce a short user-guide for redmine.
I think it will be useful for both of us!
Not sure where... - 21:58 Bug #536 (Closed): Make RingBase::myCharacteristic a fn rather than a proc
- 21:57 Feature #253 (Resolved): W.Bruns's wish list
- Shall we close this very old issue? Most of its children have been completed.
- 21:53 Design #855: Copyright and authorship?
- I think we can close this.
The code by Arri is destined to be removed before too long (and no one is maintaining it)... - 21:50 Bug #1522 (Closed): SEGV: avoid long linked lists of loaves in MemPools
- 21:48 Feature #1694 (Closed): New expv/exponents function?
- I have cleaned up all calls which I think needed cleaning.
*Observation:* I thought it was odd that @exponents(exp... - 21:07 Bug #1712: Windows: New configuration script
- Thanks for the update! Yes, I will be able to compile it whenever you want.
I will also try to remove the limitation... - 20:55 Bug #1712: Windows: New configuration script
- We are hoping to make a new official release in the next few days (probably early next week).
*@Nico:* Will you be a... - 20:49 Bug #1725 (Closed): resultant: gives wrong answer when should be 0
- I have some doubts about correct @SubresultanSeq@ is... it seemed to contain a 0 for one test input (now forgotten).
... - 20:16 Bug #1726 (In Progress): Dangling references to temporaries
- I am still perplexed by these warnings. I'm pretty sure the code is safe: all it is doing is giving a convenient sho...
- 09:43 Bug #1726: Dangling references to temporaries
- Thanks for letting us know! We are about to release a new version of CoCoA... hopefully tomorrow or early next week....
08 Mar 2023
- 21:57 Bug #1726 (Closed): Dangling references to temporaries
- The Fedora Linux project has built all packages with GCC 13, which will be released soon. I see warnings of this for...
- 21:37 Bug #1522 (Feedback): SEGV: avoid long linked lists of loaves in MemPools
- I'm not convinced the test in comment 12 is really a good test.
Anyway, i have reproduced results which suggest that... - 21:13 Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example
- 2023-03-08 I have just run the example (on my current GNU/Linux box).
The times are: 0.33s and 499s (ouch! slow... - 20:52 Design #1689 (In Progress): Automatic mapping of RHS in += etc
- The current impl gives an error if the LHS would be promoted.
I am inclined to accept this impl, and close this issu... - 20:29 Bug #536 (Feedback): Make RingBase::myCharacteristic a fn rather than a proc
- I have made the change. I really cannot see a sane use-case where @characteristic@ needs to be super efficient.
I h... - 19:48 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- What is the status of this issue? Is it advanced enough that we can close this week? (I hope so)
- 19:44 Support #59: List of all functions in CoCoALib
- I think the documentation for CoCoALib needs a major overhaul...
Something similar to what we have made for CoCoA-5 ...
07 Mar 2023
- 21:00 Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- I'm closing this issue -- I think it has become too long (20 comments).
The current @configure@ script is definitely... - 20:55 Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- 20:54 Feature #1694: New expv/exponents function?
- Let's discuss this issue. I hope we can close it this week!
- 20:51 Support #1265: Unregistered TXT files in doc
- Let's discuss this issue. I hope we can resolve it this week.
- 20:49 Support #1263: Tidy CoCoALib test directory
- It would be nice to close this issue... I have decided to postpone it, since it likely requires some discussion.
I... - 20:38 Design #1572: Use noexcept
- Postponing to have more time to discuss & think; also there is not enough time to make the checks implied by the last...
- 20:36 Design #1572: Use noexcept
- *Point 1*
As in the previous comment: for fns which use @CoCoA_ASSERT@ we can now write something like... - 20:27 Feature #1723 (Closed): New fn CoprimePart, OddPart: naming question
06 Mar 2023
- 22:41 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- I have now extended *@IsCoprime@* so that it covers integers and ring elems,and a mixture of the two.
Added tests, a... - 20:56 Feature #1723: New fn CoprimePart, OddPart: naming question
- I have added _b-free part_ as a keyword (or similar).
The fn name I have kept as @CoprimePart@, as it seems a reason... - 20:54 Bug #1725: resultant: gives wrong answer when should be 0
- Now I think I have really fixed it!
Also added an exbugs test.
Will check in shortly.
05 Mar 2023
- 20:15 Bug #1725 (Resolved): resultant: gives wrong answer when should be 0
- I have now fixed it. Will add a new exbugs test, and check in.
- 20:14 Bug #1725 (Closed): resultant: gives wrong answer when should be 0
- Here is a smaple input (in CoCoA-5):...
- 18:52 Design #1572: Use noexcept
- I have just modified @configure@ so that it defines the CPP macro *@CoCoA_DEBUG_MODE@*.
This new macro is either *@t...
28 Feb 2023
- 15:19 Feature #1723: New fn CoprimePart, OddPart: naming question
- After looking a bit further into this, if ...
27 Feb 2023
- 20:48 Feature #1723: New fn CoprimePart, OddPart: naming question
- A quick thought I had about that: Two separate functions (or at least a ...
- 20:17 Feature #1723: New fn CoprimePart, OddPart: naming question
- Oops! I had meant to include Nico Mexis as a watcher for this issue.
I have just added him. Let's see if he has an... - 20:15 Feature #1723: New fn CoprimePart, OddPart: naming question
- Thanks for the feedback!
I must agree that it is probably easier to guess what the fn does if it is called *@Coprime... - 12:09 Feature #1723: New fn CoprimePart, OddPart: naming question
- John Abbott wrote:
> Since I need the fn for something else, I'll proceed with *@CoprimePart@*.
> But I still hope ... - 20:12 Design #1721 (In Progress): Verbose messages: print level?
- I wonder whether the format you propose is too terse, but then making it longer perhaps produces too much output?
No... - 12:31 Design #1721: Verbose messages: print level?
- Proposed look (invented numbers) @[depth:level] space space@...
- 12:15 Design #1721: Verbose messages: print level?
- Yes!!! That's a great idea!
It would be impossibile to keep the documentation up to date... and tedious to read.
20 Feb 2023
- 21:54 Feature #1723 (In Progress): New fn CoprimePart, OddPart: naming question
- Since I need the fn for something else, I'll proceed with *@CoprimePart@*.
But I still hope to get feedback, and per...
Also available in: Atom