Activity
From 05 Nov 2021 to 04 Dec 2021
01 Dec 2021
- 14:49 Feature #1637 (New): Intersection of Ideals: has GBasis?
- When one computes the intersection of two ideals, are the resulting generators a GBasis?
Sometimes they are: can we ...
26 Nov 2021
- 17:10 Support #262: Play with GIT
- Does anyone have useful experience to help decide between Github/Gitlab/other? And also how one goes about in practice?
- 17:08 Support #262: Play with GIT
- Florian and Bernhard suggest putting the source on Github/Gitlab.
25 Nov 2021
- 16:47 Feature #1635 (In Progress): NR for polys with coeffs in PID
- Make @NR@ work also polys with coeffs in a PID (at least in @ZZ@).
This is a stepping stone to GBasis over @ZZ@.
23 Nov 2021
- 22:06 Support #256 (Resolved): Improve doc about ordering/grading for poly rings
- I think the doc in @SparsePolyRing.txt@ is OK now. Do you agree, Anna?
19 Nov 2021
- 17:25 Feature #743: Better errors: give supplementary info about the error
- for example, this would be nice...
- 17:18 Feature #743: Better errors: give supplementary info about the error
- We agreed that the string for the name of the function should contain just the name of the function, and its argument...
- 17:05 Feature #743: Better errors: give supplementary info about the error
- Anna suggests that the error message should also indicate which args (via their indices, starting from 0 or 1?)
For ...
17 Nov 2021
- 12:04 Feature #1633: Make polynomial multiplication interruptible?
- This is weird. I reverted to the old code because I wanted to confirm that it is not interruptible.
Indeed, it took... - 11:59 Feature #1633: Make polynomial multiplication interruptible?
- I have just inserted a @CheckForInterrupt@ in the main loop for multiplication.
The simpler test example from commen... - 11:53 Feature #1633 (In Progress): Make polynomial multiplication interruptible?
- Here is a simpler test example...
- 11:50 Feature #1633: Make polynomial multiplication interruptible?
- The relevant source code is probably @myMul@ in @SparsePolyOps-RingElem.C@ around line 413.
16 Nov 2021
- 20:33 Feature #1633: Make polynomial multiplication interruptible?
- One crucial factor is how much overhead it would cost if we put a check inside some inner loop.
Also how many diff... - 20:32 Feature #1633 (Closed): Make polynomial multiplication interruptible?
- I tried a (daft) example during an exercise class today: when tried to square a large polynomial it was not possible ...
- 10:38 Bug #1281: Factor of multivariate sometimes prints ERROR
- When it happens, it happens in pairs. Run this:...
- 10:24 Bug #1281: Factor of multivariate sometimes prints ERROR
- I confirm I (rarely) meet this error with tough examples in our development of Comprehensive Groebner Systems.
15 Nov 2021
- 20:06 Slug #1394: Oddly slow GBasis computation (slow final cleanup)
- Here is another example using lex:...
12 Nov 2021
- 00:58 Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
- We should update the doc so that it encourages people to apply RINGHOM directly rather than using @apply@.
We should... - 18:11 Design #1632: C++17: notes about updating
- Here is a list of things to attend to when updating to C++17
* currently Scott Meyers does not have a C++17 book, so... - 18:09 Design #1632 (New): C++17: notes about updating
- This issue is for gathering notes about updating to C++17 (from C++14).
- 11:44 Design #1617 (Closed): UnivariateIndetIndex: exact semantics
- 10:43 Support #1555: Software licence
- We need to decide what the restrictive message should say.
Ideally it should be just 1 or 2 lines long, and placed v... - 10:28 Support #1555: Software licence
- We need to consider also the copyright notices in the sources for CoCoA-5.
Should the copyright notice for CoCoA-5 f...
10 Nov 2021
- 20:12 Design #1630 (New): Signal handler not portable?
- Bruns reported by email that CoCoALib does not compile on an @"msys"@ platform because @sigaction@ is absent.
Inve... - 20:10 Feature #1488 (Feedback): BuiltIn Interreduce-Function
- Is there documentation now?
- 20:08 Design #1617: UnivariateIndetIndex: exact semantics
- I have updated the documentation to the current behaviour.
- 20:02 Design #1617 (Feedback): UnivariateIndetIndex: exact semantics
05 Nov 2021
- 16:09 Feature #1103: Pseudo-zero-dim ideals
- see also #1254
- 16:07 Feature #1103: Pseudo-zero-dim ideals
- There is something very similar for RationalSolve in CoCoA-5.
Anna: consider that design and copy:... - 16:05 Feature #1254: New function: MinPoly for pseudo-zero-dimensional ideals
- Anna will try do this; perhaps this is a helpful prototype for issue #1103.
A very simple approach here would be t... - 15:54 Design #1628: Unused variables, params, data members
- I tried changing @CoCoA_ASSERT@ so that it expanded to @(void)sizeof(cond)@, *BUT* this worked badly because some ass...
- 15:42 Feature #1235 (In Progress): FreeModule: get canonical basis
- Agreed: the proposal in comment 5 is accepted.
To clarify the order of the elements in the canonical basis should ... - 15:36 Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt
- Anna will do this!
Soon... I hope! - 15:34 Bug #536 (In Progress): Make RingBase::myCharacteristic a fn rather than a proc
- Anna approves too.
Suggestion: create also a fn which returns a machine @long@ (if poss, o/w error).
- 15:30 Support #1618: Tidy ex-RingElem2
- John Abbott wrote:
> I have tried to improve the structure of the code. What is printed out is tedious to follow --...
Also available in: Atom