Activity
From 28 Oct 2021 to 26 Nov 2021
26 Nov 2021
-
18:48 CoCoA-5 Bug #1104: Eigenvectors: inconsistent return type
- Here is an observation about the given example:
* in the case that the eigenvalue is rational (_i.e._ in the field),... -
- Anna implemented a quick fix: it was much faster, but would also sometimes give a wrong answer (we understood why).
... -
15:29 CoCoA-5 Slug #1629: RingElem slow with many indets
- After a common investigation via skype, we noticed that @ReadExpr@ (called by RingElem) creates @map<symbol, RingElem...
-
- Simpler test:...
-
- Does anyone have useful experience to help decide between Github/Gitlab/other? And also how one goes about in practice?
-
- Florian and Bernhard suggest putting the source on Github/Gitlab.
25 Nov 2021
-
- Some entries in the online manual are missing or very incomplete....
-
- 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
-
- I think the doc in @SparsePolyRing.txt@ is OK now. Do you agree, Anna?
-
- The problem is that the ordering matrix has some big entry (after being converted into a matrix with positive entries...
22 Nov 2021
-
- Here is a simpler failing example: I have just reduced the exponents...
-
- I find the error quite surprising; at least the particular error that was thrown.
I had half expected there to be so... -
- Here is the troublesome input: it throws *@ArgTooBig@*...
-
- It seems that the first two rows are "almost parallel" -- why should that be?
Anyway, it should be easy to reduce th...
19 Nov 2021
-
- for example, this would be nice...
-
- We agreed that the string for the name of the function should contain just the name of the function, and its argument...
-
- Anna suggests that the error message should also indicate which args (via their indices, starting from 0 or 1?)
For ... -
- I believe that the error must be clear enough in CoCoALib so that there is no need to intercept (all??) situations li...
-
17 Nov 2021
-
- This is weird. I reverted to the old code because I wanted to confirm that it is not interruptible.
Indeed, it took... -
- I have just inserted a @CheckForInterrupt@ in the main loop for multiplication.
The simpler test example from commen... -
- Here is a simpler test example...
-
- The relevant source code is probably @myMul@ in @SparsePolyOps-RingElem.C@ around line 413.
16 Nov 2021
-
- One crucial factor is how much overhead it would cost if we put a check inside some inner loop.
Also how many diff... -
- I tried a (daft) example during an exercise class today: when tried to square a large polynomial it was not possible ...
-
- When it happens, it happens in pairs. Run this:...
-
- I confirm I (rarely) meet this error with tough examples in our development of Comprehensive Groebner Systems.
15 Nov 2021
-
- Here is another example using lex:...
12 Nov 2021
-
- We should update the doc so that it encourages people to apply RINGHOM directly rather than using @apply@.
We should... -
- The global @packageDir@ should probably also be of type @boost::filesystem::path@.
Currently it is @std::string@ a... -
- It seems that @filesystem::path@ was introduced in C++17.
Anna asks whether we should start compiling with standard ... -
- In some files we use @std::string@ to represent paths to files.
Replace these with values of type @filesystem::path@... -
- Which type of answer do we prefer? LIST or MAT?
If we prefer MAT, are the eigenvectors the rows or the columns? ... -
- 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... -
- This issue is for gathering notes about updating to C++17 (from C++14).
-
-
- Check if this is still a problem!
What does Robbiano do?
-
- I have just tested what happens if there is some unsent input in the CoCoA-5, and it seems to discard the unsent inpu...
-
- Might it make sense to bind also @C-c h@ and perhaps @C-c ?@ or even @C-c C-?@
Just some suggestions.... maybe t... -
- Done for the CoCoA-5 menu.
-
- it is probably easy to add it to the cocoa5-comint menu.
What about the keybinding?
-
- Website seems ok now.
Closing.
-
-
- We need to decide what the restrictive message should say.
Ideally it should be just 1 or 2 lines long, and placed v... -
- We need to consider also the copyright notices in the sources for CoCoA-5.
Should the copyright notice for CoCoA-5 f... -
- No longer crashes. So that's good.
Now we just need to clean up the path, but that's in a new issue #1631 -
- Anna is reasonably convinced by the idea. She made some alternative proposals:
* use all capital letters for names ... -
- No new bugs have surfaced. Closing this issue.
10 Nov 2021
-
- Bruns reported by email that CoCoALib does not compile on an @"msys"@ platform because @sigaction@ is absent.
Inve... -
- Is there documentation now?
-
- I have updated the documentation to the current behaviour.
-
-
- I have decided to "test" the idea of putting a single underscore at the start of names.
I have just modified @bug-... -
- I made the change about a year ago (according to redmine), and no complaints have surfaced.
So advancing to *feedbac... -
- No real chance of finding time to resolve this in the foreseeable future :-(
Probably not that hard, but it will sur... -
- Anna: can you close this issue?
-
- We probably need to change the fn @CoCoAManFileName@ (around line 950 in @OnlineHelp.C@).
The return type should be ... -
- There is a stackoverflow thread about getting @dirname@: https://stackoverflow.com/questions/3071665/getting-a-direct...
-
- It would be nice (& cleaner) if we could get rid of @packages/../@.
I think this should be possible.
-
- I have modified the error message slightly. Now it gives:...
-
-
- My current opinion is to return the exit code, even if this is not well defined (in a portable way).
This would allo... -
-
08 Nov 2021
-
- I have reviewed the header files and checked them in.
We need to review also the copyright notices: I have added A... -
- Bernhard Andraschko reports the following (via email):...
-
- Get started!
05 Nov 2021
-
- I have changed all the files.
The only slightly strange one is @C5.H@ where the whole file is inside a @#ifdef@ bloc... -
- This is a reasonable proposal. Let's do it!
Soon?
-
- Since we cannot see how to do this in a reasonable way, we reject the issue.
-
-
- John Abbott wrote:
> I suppose we could change the printed form to something like this:
> [...]
> Or maybe *@domai... -
- The old function @image@ is only used in @radical.cpkg2@ and @toric.cpkg5@.
They should (easily) be replaced by prop... -
- I have commented out the version in @coclib.cpkg5@. All tests pass.
-
- Anna: compare the function in CoCoALib and remove or simplify the package, at least @Aux_BinExp@ should be deleted.
-
- see also #1254
-
- There is something very similar for RationalSolve in CoCoA-5.
Anna: consider that design and copy:... -
- What is the status of this issue? It is resolved?
Is %done correct? -
- Anna will try do this; perhaps this is a helpful prototype for issue #1103.
A very simple approach here would be t... -
- I tried changing @CoCoA_ASSERT@ so that it expanded to @(void)sizeof(cond)@, *BUT* this worked badly because some ass...
-
- Agreed: the proposal in comment 5 is accepted.
To clarify the order of the elements in the canonical basis should ... -
- Anna will do this!
Soon... I hope! -
- Anna approves too.
Suggestion: create also a fn which returns a machine @long@ (if poss, o/w error).
-
- John Abbott wrote:
> I have tried to improve the structure of the code. What is printed out is tedious to follow --...
04 Nov 2021
-
- Is this something easy we could do quickly? Or is it better to postpone to the next release?
-
- I have just tried, and CoCoA-5 no longer crashes. It also produced a fairly reasonable error message.
Maybe the err... -
- If @CoCoAHelp.xml@ is missing then the installation is broken (or there is a wrong path).
Crashing/aborting may be a... -
- This is still a problem, but not so common.
We should identify some cases where it occurs, and study those:... -
- The idea itself is not so bad, but actually implementing looks to be nightmarish.
I am inclined to reject this iss... -
- Now that I must consider how ringhoms are printed, I do think that readability of the current format is not so good.
... -
- Is the value "assigned" to @It@ or swapped into @It@ (hopefully without being copied more than strictly necessary)?
03 Nov 2021
-
- I have added a "first" version of doc for @IdealOfPoints@ and @IdealOfProjectivePoints@.
-
- The doc for @assert@ had already been added. I have revised the source code in @assert.H@ slightly.
-
- I have just added doc for *@exception@* to the indexes.
-
- We should see who uses the flag @IHaveGBasis@.
Presumably it could be replaced by a function which returns true if t... -
- If we want a special fn for getting the standard/canonical basis for a free module then it could be called *@Canonica...
-
- What is the status of this issue?
Have it been resolved? Is there documentation? It would be good to close it, if ... -
- I have just implemented the KISS approach: namely 2 @#ifdef@ blocks. Everything compiles, & all tests pass (both wit...
-
- The KISS solution would be to use the @CoCoA_DEBUG@ macro.
I'm not keen to use macros (esp. to make @#ifdef@ blocks ... -
- @clang@ is probably correct to report that the data-members are unused.
Their presence makes objects of this class n... -
- Anna reports that clang issues warning about unused data-members (in @MatrixFpNonRed@).
The data-members are used wh... -
- We have made some inprovements.
Clang's errors/warnings are often quite helpful (but sometimes also annoying).
-
- I have tried to improve the structure of the code. What is printed out is tedious to follow -- can we make that prin...
30 Oct 2021
-
- Here is a way of making test cases for computing determinant:
take a unimodular matrix, and multiply it by a nzzd (w... -
- Bernhard and I made several tests yesterday: well, he made the tests, I just came up with "clever"(??) ideas.
*SUM... -
- I have checked in (and found several errors/inconsistencies while doing so).
All compiles and works fine on my Linux... -
- I have checked in my changes. All compiles fine on my Linux box.
29 Oct 2021
-
- I have done the first wave (too much train travel).
Very mind-numbing doing these almost mechanical changes.
My cop... -
- Following advice from Scott Meyers (Eff Modern C++, item 11)
use the keyword *@delete@* to indicate deleted function... -
- What are the differences between *@NewMat@* and *@ZeroMat@*.
The manual entry for @NewMat@ suggests that it is almos... -
- Here are some more examples which should work, but which do not:...
-
- Now we have moved to C++14, and @BigInt@ has a move ctor, we can implement this change.
Should there be a speed ch... -
- John Abbott wrote:
> In @FractionField.C@ I have found this check-in comment:
> [...]
>
> I suppose this was the...
Also available in: Atom