Activity
From 09 Sep 2019 to 08 Oct 2019
08 Oct 2019
-
21:25 CoCoA-5 Design #1334 (Closed): sylvester or SylvesterMat?
- CoCoA-5 has a function called *@sylvester@*; should it not be called *@SylvesterMat@*?
-
- In the CoCoA-5 manual there is an entry *@Typevectors@* (which says NYI).
Should it be *@TypeVectors@*?
-
15:55 CoCoALib Feature #1332: New function: vector of RingElem from string -- in CoCoALib
- maybe @CoCoAVector(R, string)@?
e.g.
@CoCoAVector(NewPolyRing(QQ,"x,y,z"), "x^2-3, y^3-1234567");@
-
- In many cases in CoCoALib, and often also in CoCoA-5, it would be convenient to make a vector of RingElem from a stri...
-
- Here is a simple failing case:...
-
- *@adj@* (previously @adjoint@) gives a misleading and unnecessary error mesg if given a square matrix of dimension at...
-
- documented, cvs-ed.
-
- Implemented in CoCoALib, passed to CoCoA-5
For the moment, only for principal ideal... -
- Making a quotient ring is often tedious. In CoCoA-5 we need to write (the best we can do):...
-
- Making a homomorphism is often tedious. In CoCoA-5 we need to write (the best we can do):...
-
- John Abbott wrote:
> It would be nice if we could produce an easier way to make quotient rings. For example somet... -
- If we find it non-trivial to create a good solution then we really should include some example(s) in the documentatio...
-
- Alternative, without @use@:...
07 Oct 2019
-
- The old ApCoCoA UI (based on Eclipse/Java8) no longer works on more recent versions of GNU/Linux.
Implement a new ... -
- Here is the solution I ended up producing, but I found discovering it to be unnatural....
-
- I wanted to do in CoCoA-5 an example/exercise from Martin Kreuzer's lecture course on computer algebra.
It turned ou...
05 Oct 2019
-
- Yes, @NewPolyRing(QQ, "alpha")@ is cleaner, simpler, etc.
But if you want to specify several symbols, some of which ...
04 Oct 2019
-
- updated manual
-
- It works now. (both Mac and Linux)
However, @NewPolyRing(QQ, "alpha");@ is better, isn't it? ;-)
Close? -
- Seems to work now, both on Mac and on Linux.
Close?
-
- Choose the syntax first...
03 Oct 2019
-
- I agree: now the timings are no longer that horrible.
Indeed not bad ;-)
We can close this issue.
Have we compar... -
- Currently we have...
-
- Now I cannot remember WHY they should complain....
postpone to next version
-
- I think this is all done now: #1248-6
Also the principal ideal has been dealt with: #1249 -
- done.
@ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const@
in @SparsePolyOps-MonomialIdeal.C@
does NOT m... -
- Done. Tested from CoCoA-5 (false for #1211, true in @anna.cocoa5@).
-
- added a test in @CoCoA-5/tests/ErrMesg.cocoa5@
closed
02 Oct 2019
-
- I have just tried a few examples, and they seems to be much quicker (but perhaps not as fast as Singular).
Should we... -
- This has been in feedback for at least 7 months. I cannot quickly and easily check whether the GSL problem still per...
-
- We should try to work through the manual systematically. Perhaps there should be 26 sub-issues, one for each initial...
-
- This seems to be related to issue #1230
I have just tried the examples from comment 13, but changing the current r... -
- Now the official function in CoCoALib is @radical_tmp@ (will be @radical@ when all code is written in CoCoALib)
Wh... -
- The problem is testing it...
-
- fixed using @HasPositiveGrading@, and proper testing.
01 Oct 2019
-
- When typing in code into a CoCoA-5 buffer, emacs does not recognise that the keyword *@until@* as marking the end of ...
-
- Even the example in the manual exhibits this... that's embarrassing. We should decide what to do, and then take acti...
-
-
- Has this already been done?
I think what Anna showed me in Genova, indicated that it has been done. If so, we can c... -
- Can we close this issue now?
-
- Can we close this now?
-
- Some cases where it may not be so clear:
* *@den@* and *@num@*
* *@SmoothFactor@*
* *@floor@* and *@ceil@*
(... -
- The given example seems to work now. Has this been fixed?
If so, close; otherwise postpone to next version.
-
-
- We should seek advice about this.
-
- I have added two tutorials: one about giving *feedback and reporting bugs*, the other about some *basic emacs* comman...
-
- We should check what happens with current (2019-10-01) versions of CoCoALib and Normaliz.
-
- If the package exports only *@format@*, perhaps that package name should be changed to @format@?
-
- Closing this because the visit is over -- this does not imply that we achieved all that we had hoped to. :-(
-
- I think Florian had done some implementing; perhaps we can delegate to him?
-
- This is apparently a duplicate of #1318, so rejecting.
-
- I have added @RealRoots(-x^2)@ to the exbugs test suite.
Closing.
-
- The manual entry for @ReloadMan@ needs to be updated, assuming that the impl is meant to be public.
-
- Added a test (to @test-bug1.C@).
Corrected name in doc in @doc/txt/NumTheory.txt@.
-
- 2019-10-01: I have just tried the example from comment 2, and now it takes about 5.9s on my computer.
-
- We should either close this issue (almost immediately), or postpone it (to 0.99700?).
-
- I have increased this to max priority because I believe it is trivial to achieve, and it would be nice to close the i...
-
- Can we use a bigger modulus now that we are effectively assuming 64-bit platform? (are we?)
-
- Here is a short file which checks the computation times of the examples given above:...
-
- I changed the names (not sure when).
A problem with the integer version is that the "squarefree" part is potential... -
- This has been in "feedback" for 7 months, so I'm closing.
30 Sep 2019
-
- I have added a "tutorial" page about giving feedback and reporting bugs.
I was not sure where to put it, but perha... -
- *CAREFUL* with the suggestions below: it is likely the @RootBound@ is used internally when factorizing or computing s...
-
- It maybe possible to improve @RootBound@ (in some cases) by using @SqfreeFactor@.
Also the CoCoA-5 prototype @Good... -
- I have transferred test-bugN into test-bug1 for N=6,7,8,9. So far, so good.
-
- Sqfr decomp should always be reasonably quick; full factorization could be slow if the input is "nasty".
One could... -
- I have already begun writing a package called @RRList@.
I think this is related, esp. as regards combining the inter... -
- Consider changing @RealRoots@ so that it computes the sqfr decomp of the input poly, then works on the separate piece...
29 Sep 2019
-
- Indeed I had "fixed" it, but there was a slight mistake: I forgot to guarantee that the LC of the poly handed to the ...
27 Sep 2019
-
- @test-output.cocoa5@ fails with "wrong output" ???
If run inside emacs using C-c C-f, the test produces no output... -
- Some *@TutHokkaido@* tests fail (non-zero exit status in 3 cases).
-
- Here are the tests which we might want to keep:
* *@packages.cocoa5@*
* *@parameters.cocoa5@*
* *@protection.cocoa... -
- The result is mostly satisfactory. Now I see a symbol of "broken image" rather than a thumbnail map.
If I click on ... -
-
- Works reasonably well for me. Closing.
-
- Tested on MacOSX.
Works.
-
- Perhaps we need a separate process to show the manual pages?
A possibility is to run a whole separate CoCoA-5 sess... -
- Added a CoCoALib test
-
- Silly problem, when you know it...
There was a debugging call @CoCoA_ASSERT(myMinGens().empty())@ (causing an infini... -
- ...
-
- Seems to work fine if compiled without *@--debug@*, but several tests fail (SEGV) when @--debug@ is active:...
26 Sep 2019
-
- I thought I had already fixed this bug. Indeed the code is there inside @RealRoots2@; the code assumed that the arg ...
25 Sep 2019
-
- Here is a list of apparently redundant files:
* @assert.cocoa5@
* TBC
-
- There are some old files in @CoCoA-5/tests/@ which seems no longer to be used. Perhaps delete them?
-
- JAA has written a first draft of a *tutorial for using the Emacs UI*; it will need to be expanded/improved.
-
- A possibility is to put the web page(s) referred to in comment 2 into a local file, so that it is always accessible.
... -
- Small failing example:...
-
- Where should the documentation go?
-
-
- Anna says OK to my "hack".
Now I need to document and check everything in.
-
- This seems to be related to commands which return no result, or which have extra "descriptions" inside the syntax par...
-
- In the PDF version there are "unhappy" empty lines at the end of some boxes around the "syntax" of some commands.
... -
- The point is that @make veryclean@ also deletes (most of?) the files generated by configuration.
Something is evid... -
- The error mesgs appear when the makefile tries to rebuild the dependencies.
-
- I did something like the following, and ended with lots of error messages about @PREPROCESSOR_DEFNS.H@ not existing.
... -
- Anna approves of merging the exbugs into a single file, and to including @CoCoA/library.H@.
Do this (soon!)
-
- Currently, any output from the system command is sent to @stdout@ (so might be lost if a GUI is being used).
Perhaps... -
- There is a manual page now.
-
- Fixed. CVSed.
-
- We decided (personal discussion) to implement it only for @ring@, because the real utility of this function is for co...
24 Sep 2019
-
-
- we need to play with the arguments in ...
-
- Anna thinks this may be easy to resolve.
-
- In the index/table-of-contents there is no enough space for section numbers greater than 99.
The section number ov... -
- One possible approach would be to write the manual page to a file (perhaps inside @/tmp@ somewhere), then open the fi...
-
- Anna thinks she has found a decent compromise. Anyway the CPU burning has stopped.
Feedback! -
- Anna has got rid of the CPU burning part. Still trying to find a decent compromise for when the map cannot be shown.
-
- Apparently we decided to remove the function I was going to use (@IsPosiveGrading@ with two args), but in the time be...
-
- Now I understand what I meant.
+ There is a function called @IsPositiveGrading@ taking a weight matrix for input. T...
23 Sep 2019
-
- Do you simply mean a @GradingDim@ function which can be applied to a @PPMonoid@ or a @SparsePolyRing@?
-
- An idea (in C++) is to have a sort of @SmoothFactor@ iterator which can be told to continue from where it has reached...
-
- I have run the profiler.
A lot of time is spent in *@AreDistinct(vector<symbol>)@*; presumably the call is around @r... -
- Here is another case where it is surprisingly slow:...
-
- 2019-09-23 This is still very slow. Here is a specific test case:...
-
- JAA confirms that this bug still exists in the current build (2019-09-23).
20 Sep 2019
-
- There is currently no manual entry for *@SystemCommand@*.
19 Sep 2019
-
- What exactly should the user interface be?
* Just return the rref?
* return rref and a transformation?
* must th... -
- Julian Danner would like a function for computing the "row reduced echelon form" (rref) of a matrix.
18 Sep 2019
-
- What ways do we have for reporting bugs? Email to @cocoa@? Write it on redmine? Email a person?
Suitable keywor... -
- After reading about the problems with *@=@* and *@;@* in aquamacs, I thought "Why didn't he just report the bug norma...
13 Sep 2019
-
- I added a new "exbug" to one of the @test-bugN.C@ files, and noticed that it was quite a nuisance having to add all t...
12 Sep 2019
-
- Elisa e Michele: Esistono ancora le pagine ufficiali del corso sul sito dell'universita'? io non le riesco a trovare.
-
- It could be quite tricky to implement.
Anyway, I think it should be a separate window, not buffer.
Opening another ...
11 Sep 2019
-
- Martin Kreuzer says he likes the manual pages to appear separate from the output of commands.
I can see his point, e... -
- I would also like some information which does not require access to internet.
I notice that CoCoA-5 no longer ment... -
- CoCoA-5 can be awkward about not "recognising" that a value is an integer....
-
- The links to course details on the web page for the 2018 School in Sapporo lead to something about "alien (species) i...
-
- Here is a list of files *@ex-*.C@* which are not compiled by the @Makefile@:
* ex-BenchmarkToolkit.C, ex-DellaCorte... -
- Here is a short list of things to do:
* make interim release
* start planning release for next COCOA School
Anna... -
- This is a pseudo-issue: I have created it just to gather together issue we should should try to address while I'm in ...
-
- This is still a problem. It would be nice to fix it before a deadline on 29th Sept!
I am also not convinced by th... -
- The CPU burning problem continues to exist apparently even without visiting the site in private mode (but I have forg...
-
- I have found a bug, and fixed it! It produces reasonable answers on the two tests mentioned above:...
-
- I now have a simpler failing example:...
10 Sep 2019
-
- There appear to be two real roots: approx -4.00095 and 1.05
@RootBound(f)@ gives about 2.95; *this is wrong!* -
- The following looks to be wrong:...
-
- I have just changed the code to allow limit=1. All tests and examples pass (which suggests that the tests were not v...
-
- There are two separate impls for @SmoothFactor@ (one for @MachineInt@ and one for @BigInt@). One allowed the limit 1...
-
- The original reason for imposing the limit was to help users detect "obviously silly" function calls. Now I think th...
-
- The @SmoothFactor@ function tries to factorize integers by dividing by all primes up to a specified limit.
Current...
Also available in: Atom