Activity
From 09 Oct 2020 to 07 Nov 2020
06 Nov 2020
-
14:24 CoCoALib Feature #1532: Convenient RingHom pseudo-ctors
- Florian mentions that Singular has something called *@imap@*...
-
- Here is a prototype in CoCoA-5... we would also need a version for cocoalib!!...
-
- Here is the example Florian wanted:...
-
- CoCoALib should offer some convenient pseudo-ctors for @RingHom@.
One example would be from @QQ[x,y,z]@ into @QQ(x... -
- The obvious convenient solution would be to allow @RingElem@ to accept the @RECORD@ produced by @IndetSymbols@.
Migh... -
-
- The funcrions @RingElem@ and @IndetSymbols@ are sort-of-inverses; but we could perhaps do better?...
05 Nov 2020
-
- At least + is commutative: @HilbertSeries(...)+1@ also causes a crash!
I have modified @Interpreter.C@, and checked ... -
- I have just tried using my last idea @rightOp->getType()->isProperSybstypeOf(..)@.
It compiled, and now produces a v... -
- The troublesome call is on line 1536 of @Interpreter.C@.
The problem is that @rightType@ has @dispatchIndex@ equal t... -
- The following input causes an assertion failure, followed by abort:...
04 Nov 2020
-
- One mild concern is that the reading fns in C++ try to accept the maximum length initial string which gives "valid" i...
-
- The code for reading a @BigRat@ can read it either as a fraction @N/D@ or as a decimal @Int.frac@.
For the "decima... -
- Ooops! I have had a look a what happens when a @BigInt@ is read... and I found a bug :-(
For @BigInt@ no space is... -
- Regarding point *(1)*... what should input of a @BigRat@ do with the following input streams?
* *@1/2@* -->JAA: ... -
- One possibility would be to require that an integer literal start with a decimal digit: _e.g._ there is no problem in...
-
- I presume the timings in comment 4 were with @unsigned short@ as @SmallExponent_t@ (otherwise CoCoA has suddenly beco...
-
- I would like @VersionInfo@ to tell me also how many bits are in @SmallExponent_t@ (since this does seem to affect exe...
-
- The order of the fields printed by @VersionInfo@ is alphabetical. This means that some pieces of info are ordered st...
-
- Is this issue still relevant?
Close? Reject? -
- Currently the script reports a very succinct error message if the executables cannot run (probably due to shared libr...
-
- I have checked in the code.
03 Nov 2020
-
- Can we make the link for the imminent (interim) release?
-
- This is what happens now:...
-
- I have made a change (by adding a call to mem fn @asRightValue@).
Now the code seems to be doing more or less what I... -
- Here is a little doc (where should it really go?)
The new script expects one of two possibilities for the @bin/@ d... -
-
- I have checked in (despite the presence of some experimental changes).
-
- I have implemented *@RingElemVec@*; the code is mostly shared with @RingElems@.
02 Nov 2020
-
- I do not understand lines 146 and 147 in @AST.H@.
They seem to say that everything can be indexed by both INT and ST... -
- Na toll:...
-
- There is a fn *@canBeIndexedByBigInt@*, but there does not seem to be a @canBeIndexedByString@*.
Maybe I should ma... -
- I have a partial fix: the error mesg now says "Expecting type STRING" if the value being indexed is a @RECORD@ otherw...
31 Oct 2020
-
- I have some questions about what inputs should be accepted.
*(1)* when reading a @BigRat@ we accept <Integer-liter...
30 Oct 2020
-
- I have changed the impl so that only a single name after @export@ is expected.
Amazingly it compiled first time, and... -
- Checked in, but not @symbol.C@.
-
- The function @symbol::myInput@ reports an error by setting the channel state (@failbit@) rather than throwing an exce...
-
- I have added checks to all input fns so that an exception is thrown if the istream is not in a good state when called...
-
- After discussion with Anna, we have decided that it is more helpful if an exception is thrown if the @istream@ is not...
-
- Checked in.
-
- I have also implemented @RingElemVec@ (even though Anna did not want it).
I'll check in so we can test it.
-
16:11 CoCoA-5 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries
- Possibly add the year
-
- Anna suggest using a virtual fn for printing which is specialized in PPMs which can have big exps.
JAA will think ... -
- Anna is uneasy about making a header file for just a single function.
Ideally, there could be some other similar fun... -
- Anna says it compiled cleanly now.
JAA: must remove the commented out code.
-
- Try to clean out clang compilation
-
- For me: test, and add CoCoALib tests
-
- The relevant function seems to be *@IndexedAccessExpression::implEval@* in @Interpreter.C@ around lines 3677--3695.
... -
10:19 CoCoA-5 Bug #1527 (Closed): Inadequate error message on incorrect list access
- When trying to access a list using another list, the error message seems to be incorrect.
Here is an example:
<pr... -
29 Oct 2020
-
- I do not think it is dangerous.
We cannot easily compare with C++ input via the @>>@ operator since that reads int... -
- John Abbott wrote:
> We could add the following at the start of @RingElems@ (in @RingElemInput:C:278@)
> if (in.e... -
- The current impl is acceptable for the time being; out efforts need to be directed elsewhere.
Closing.
-
- The current version is acceptable; it could be made better, but there are plenty of other more important issues (at t...
-
-
- I have fixed the bug: part of the code incorrectly assumed that the base was a prime number... ooops! (probably an o...
-
- @FactorMultiplicity(3^39,factorial(21))@ goes into infinite loop :-/
It gets worse...
@FactorMultiplicity(9, fact... -
- Oh no! I have hit a bug:...
-
- The current situation is acceptable. Further splitting might be a good idea at some point, but it is not so importan...
-
-
- Done up to letter P
-
- This is how the renamed ones should look like...
-
- The section "see also" is handy only for the online version.
Remove them.
Think of an easy way to call the manual... -
- I'm cleaning the manual for a homogeous straightforward style for obsolete/obsolescent entries.
Mainly it should jus... -
- Make it possible to get the manual for a selected string.
In the file buffer it is C-c C-h and it is also in the m... -
- This has been in feedback for a month or so. CLosing:
Conclusion: fn name changed @KroneckerProd@, impl creates n... -
- Here is a guess as to why the observed times are as they are:
with @myBigExponents@ the ctor for @BigInt@ is called ... -
- What about *@utils-LongRange@*?
This name should also make it clear why the file is included.
-
- The empirical complexity appears to be quadratic. Here is my test:...
-
- Since we are no longer guaranteeing pre-C++11 compatibility, we can remove from Mario's code all @#if@ trickery relat...
-
- This is a marginal issue, but we have two contrasting things (and now we know it ;-) ), so we should make a decision....
-
- The relevant source code is in @Parser.C@ from line 556 to 595.
It is surprisingly long; allowing just a single nam... -
- Perhaps it could make sense to have a version of *@mul(mat,mat,mat)@* which is deliberately not exception safe (but a...
-
- Ideally the installation process should also make available an easy way to uninstall the installed stuff.
We also ... -
- There are already fns *@IdealOfGBasis@* and *@SetGBasisAsGens@*. Where is the doc for the 2nd fn?
Despite some in... -
- I propose the following new names:
* *@--allow-non-threadsafe@* for the @configure@ script
* *@CoCoA_ALLOW_NON_THRE...
28 Oct 2020
-
-
- According to cppreference, the return value of @std::system@ is _implementation defined._
The CoCoA manual was too s... -
- I just noticed that @SystemCommand@ returns incorrect exit values, in particular the returned value is ´exit_val * 25...
27 Oct 2020
-
- At the moment all fns which allow automatic promotion of ringelems call the function *@AutomaticConversionHom@*.
I... -
- I have changed the impl so that there is no auto promotion for matrices.
The example in comment 1 now gives... -
- I must change the impl so that only the ringelem gets mapped. To map the matrix one must make an explicit call.
O... -
- As suggested in comment 10 above, I have copied the "done list" and the "todo list" to issue #7.
Closing this issue ... -
- Here are done list and todo list copied from issue #1461 comments 7 & 8. Moving them here.
*DONE LIST*
* @Matri... -
- *I have decided to make this the "master issue" for questions related to automatic ring conversion* (mainly because i...
-
- I have revised the manual entry for @matrix@. I did note that in the examples @mat@ is used rather than @matrix@ -- ...
-
- *Conclusion: no automatic mapping of ringelems in equality tests*
A user working in several rings at once has to s... -
- *I am rejecting this because of the example in comment 3 above.*
I have also rejected the duplicate issue #636.
-
- I am rejecting this. This issue is essentially duplicated in #1515.
*Main reason for rejection is in comment 3 of... -
- I have just tried again but with @SmallExponent_t@ being @unsigned short@ (previously it was @unsigned int@).
Printi... -
- I have just repeated the experiment, but in CoCoALib. This is the test program:...
-
- This issue is a generalized version of issue #1500 (which itself is concerned with the example in comment 1 of this i...
-
- I changed @SmartPtrIRC@ so that an @std::atomic<std::size_t>@ is used for the ref count instead of @std::size_t@.
I ...
26 Oct 2020
-
-
-
- I have just tried modifying the impl (@PPMonoid.C@ around lines 215--230, @PPMonoidBase::myOutput@).
The modified ve... -
- Here is a reference test:...
-
- I propose the following revision to the design:
* *(A)* each @PPMonoid@ has a fn which says whether it can handle on... -
- I now think it is probably a good idea to abandon the current design with explicit "NextLoaf" pointers (currently @s...
-
- I think I have found the cause... it is in "invisible code" written by the compiler. The invisible code is correct, ...
-
- Ahhh! Perhaps I should have guessed: @valgrind@ reports that the problem is *@stack overflow@*.
Now, why are we usi... -
- I got a SEGV with debugging on and MemPool disabled. Let's see what valgrind says...
BTW it was even slightly faste... -
- Triggered by the example from issue #1514.
The SEGV seems to arise during destruction at the end of the program!
... -
- See comment 4 below, where I understand the root cause.
Original report:
I get a SEGV reading about 4500 random l... -
- I now think that it is probably better to default to threadsafe code; the user must configure with "not threadsafe" t...
-
- If we do follow this recommendation, which files must be considered?
* @RingElemInput@
* @BigInt@ and @BigRat@?
* ... -
- At the moment my preference is to recommend (strongly) that input fns immediately check whether the @istream@ is not ...
-
- Output fns in CoCoALib check whether the @ostream@ is in a bad state, and if so, return without doing anything more.
... -
- I have improved (??) the code. It should give better err mesgs now. Here are some examples:...
-
- *FINAL DECISION:*
* do not allow 0 multiplicity (will throw an exception)
* do not allow factorization objects over... -
- A temporary workaround for Julian is probably the following:
* obtain the CoCoA sources, modify @include/CoCoA/confi... -
- I was not able to get the information I wanted from @valgrind@ (probably my fault).
After some thinking (but less ... -
- See note 5 in issue #1514.
-
- I tried Julian's example from issue #1514 using smaller types for @SmallExponent_t@, and found that it was significan...
-
- The C++ substring function has the following interface:
* @substr(str,n)@ the substring starting at the n-th posn u... -
- I have done a little checking.
*The GMP header is automatically C++ safe:* it contains all necessary @extern "C"@ ... -
- Presumably the CoCoA-5 interpreter has a function which performs the command *@source@*. If this function can accept...
-
- The template function for lists (of all sorts) is actually called @LIST::LIST@... mmm, is that a ctor?
It is defined... -
- Investigate whether the template fn @Value::from@ (see @Interpreter.H@ around lines 1422--1442) can avoid copying by ...
-
- Low priority because the current code works (but I would like to reduce dependency on BOOST).
This is likely to be... -
- The CoCoA-5 interpreter uses @BOOST_FOREACH@ in several places; I think the C++14 "range" @for@ syntax is essentially...
23 Oct 2020
-
- MemPool causes a SEGV! 8-O
I'll try without MemPool... if I can remember how.
*ANS:* configure with @--thread... -
- I have just made a first run with debugger/profiler --> SEGV
Ooops!
-
- I have modified the test program so that it first generates a list of random linear forms (and then prints it).
Wi... -
- I have just recompiled CoCoALib to use @unsigned char@ as exponent type.
The program ran noticeably faster: about 3 ... -
- The test example as in the description took about 7 mins to generate the 20Mbyte file. That is disappointingly slow ...
-
- According to the profiler: printing 250 polys each with about 500 terms (@RandomLinearForm@ from polyring with 1000 i...
-
- It seems that printing polys in polyrings with many indets is slower than I would like: the example from issue #1514 ...
-
- It could be that the problem is simply copying lots of PPs (each occupying 4000 bytes).
Could the memory manager be ... -
- The profiler tells me that @RandomLinearForm@ spends most (almost all!) of its time in @operator+=@.
If the indets... -
- I like Anna's suggestions:
* by default start with the initial ring @QQ[x,y,z]@ (why should it be assigned to a var... -
- I vote for *(A)* Right after the banner print a message saying what the current ring is
Cleanliness would demand h... -
-
- I wonder if we should be using @extern "C"@ when including the gmp header (but not the gmpxx header). -- *NO!!* (see ...
-
- Still problematic...
-
- This ought to be very easy: I am sure that C++ already has such a function.
I came across the problem while lookin... -
- Proposal: a new function to extract a substring.
Syntax would be something like @substr(str, start, end)@ where ind... -
- Ah, me too. I have just checked in my code... oddly, there were no clashes. What does that mean?
-
- Fixed in @RingElemInput.C@, therefore also for CoCoALib.
-
- *I am increasingly convinced that this is not a good idea.* The example in comment 3 is already fairly convincing.
...
22 Oct 2020
-
- This is almost a duplicate of issue #636.
-
- The proposed change might be inconvenient in view of issue #637: the equality test @x = a@ would throw a @MixedRings...
-
- A suggestion (but maybe not a good one).
Now that we have some degree of automatic ringelem conversion, we could say... -
- Clarification: the example in comment 1 does indeed run, but the resulting matrix is over @P@ not @K@.
To obtain a m... -
- I suggest closing this issue, and copying any unresolved parts into issue #7.
It would be nice to have issue #7 as t... -
- I now suggest that we make equality-test throw an error (@MixedRings@) if the args are elements of two different ring...
-
- Idle for more than 6 years: perhaps because there is no clear answer, and implementation might be tricky :-/
-
- I have just added to @SparsePolyRing.txt@ that the default term ordering is @StdDegRevLex@ (should we give an explic...
-
- Hi,
I have a large polynomial system that has to be read from a file. In order to do so, I load all the polys as c...
21 Oct 2020
-
- We could add the following at the start of @RingElems@ (in @RingElemInput:C:278@)...
-
- I replaced used of @BigRat@ (field @myFrac@) inside @ContFracIter@ by a pair of @BigInt@ values (@myNum@ & @myDen@).
...
20 Oct 2020
-
- Now I'd have a slight preference in keeping the current name (it is convenient as it emphasise the "HilbertBasis" str...
-
- Is this a quick issue? If so, is it worth finishing it quickly?
-
- A better workaround is to use @sum([...])@.
I have just tried a test of the form:... -
- The relevant source code seems to be @Parser::parseUseStatement@ around line 356 in @Parser.C@.
What should the b... -
- I have checked in my prototype... hope it is a good one!
-
- I have tried testing with the current public version of CoCoA-5 for linux: it fails because the interpreter does not ...
-
- I now have a new @cocoa5@ script for GNU/linux. I have developed it "blind", so it probably does not work correctly ...
-
- Here is the speed test I used:...
-
- I have now put special handling in for reciprocals, and the code runs a bit faster.
Probably the best solution wou...
19 Oct 2020
-
- *A relevant line in the source code* is @Interpreter.C:1212@ which contains:...
-
- The technically easiest solution would be start with the ring @ZZ@; while not exactly what was suggested, I suspect t...
-
- The profiler suggests that the reciprocal @1/(myFrac-myQuot)@ is surprisingly costly.
I shall modify @operator/@ to ... -
- Why did I give no examples to test this on?
After reading #860, a possible test might be... -
- Issue #1118 exhibits a slug due to "stupid" conversion from a sparse multivariate poly to a dense univariate poly.
... -
- The quadratic behaviour derives from the GCD computation being between *dense* univariate polynomials.
A solution ... -
- I confirm that computation time increases quadratically (why?)
Also current (2020-10-19) speed is about the same as ...
16 Oct 2020
-
- I have checked in my code (after some _ad hoc_ testing).
I have slightly changed what we agreed via skype (so that t... -
- I seem to have lost the test file I used for the revised package parser. Here is a short version:...
-
- A package which ends prematurely produces an error, but the message could be better:...
14 Oct 2020
-
- I have checked in the minor change to @Main.C@ which impl the @--do-nothing@ option.
-
- After discussing with Anna: the filenames are essential for the manual mechanism to work. So my idea to pass @istrea...
-
- Scott Meyers recommends using @constexpr@ where (reasonably) possible.
-
- I have commented out @interreduce@.
I have renamed the files to @SparsePolyOps-interreduced@.
*NOT YET DOCUMENTED... -
- Where should the doc for fns in @SparsePolyOps-*@ files go?
The current organization is inconsistent :-(
-
- I have implemented as decided (_i.e._ mults must be positive)... effectively we are rejecting the original proposal.
... -
- I now prefer not to allow 0 as a multiplicity because it could be confusing: _e.g._ someone might call @myAppend(fac,...
-
- There are now 20 different @IsDivisible@ functions (half of them are actually @IsDivisible_AllowFields@).
I have m... -
- Oh wow! There are a lot more @IsDivisible@ finctions than I thought... :-(
*SERIOUS QUESTION*
What should the fo... -
- Today my preference is for *@IsDivisible@* and *@IsDivisible_AllowFields@*.
I think these names are fairly clear, an... -
- Here are some fns to consider changing:
* @myCharacteristic@
* others???
-
- What we have currenyl works well enough (most of the time), and has been stable for quite a while (at least 3 years)....
-
- Do we really want to overhaul the current @Makefile@ structure?
I do not recall any problems lately, and am loath to... -
-
- Note that we have @CoeffVecWRT@ and @CoeffListWRT@. So it would be reasonable to call the CoCoALib fn *@RingElemVec@*.
-
- Should *@RingElemList@* be ported into CoCoALib? (perhaps with a different name?)
If so, what should it be called?
... -
- we want ...
-
- In CoCoA-5 we have @RingElems@ and @RingElemList@.
The second function can produce an empty list (from input @"[]"@)... -
-
- Effectively removed old macro *@CoCoA_ERROR@* (still exists, but triggers compile-time error saying to use @CoCoA_TH...
-
-
- John Abbott wrote:
> I have added some tests to a new file called @test-package.cocoa5@.
> Not yet checked in: awai... -
- I have just checked what the code currently does: if many primes have been tried without finding a factor *and* if t...
-
- Have we used the idea in comment 4 in the CoCoA-5 tests?
I think probably not. If not, why not?
Solving the orig... -
- This now works (since when?).
Surely the impl for @adj@ can be improved; there are several later issues about adj to... -
- John Abbott wrote:
> I have made some improvement. Now "send region" should keep the font magnification.
I confi...
13 Oct 2020
-
- I'm not entirely sure how to achieve technically "start with no current ring":
* *(1)* use an extra flag to say no r... -
- After lunch with Robbiano today...
The question of the initial ring in CoCoA-5 came up. There are two proposals to ... -
- I suggest documenting this behaviour, and then closing this issue.
*BUT* where should it be documented?
Anna po... -
- This was last considered 5 years ago. The problem has not arisen in this time (in my experience), so I think that it...
12 Oct 2020
-
- I still like the idea of a 3rd param (or perhaps two fns with similar names).
My preference is that a call like @IsD... -
- I have made a first attempt at modifying the start-up script. It took me a lot longer than anticipated :-(
It is ... -
- It is not entirely clear to me how to make @--packageDir NoPackages@ work portably.
One solution is to make @NoPacka...
11 Oct 2020
-
- I did a quick speed test: specifying as input @/dev/null@, and where the directory @NoPackages@ contains only @init....
10 Oct 2020
-
- An alternative solution is to ask the user to use an @install@ script: this script could then determine which executa...
09 Oct 2020
-
- I have now added a fn @OpenXMLManual@ which tries to open the file, and throws a helpful exception if there is troubl...
-
- I have changed @XMLFileName@ to return a @std::string@. Everything compiles and runs OK.
The next stage is to mak... -
- Also @ex-RingElem1@ fails...
-
- A comment about the code excerpt in comment 4. The call to @IsZeroDivisor@ is superfluous; perhaps it was put there ...
-
- I have tried implementing the change (_i.e._ @IsDivisibile@ throws if given args in field).
Two tests fail: @test-Is... -
- This is a bit less clear than I had previously thought. In the file @ring.C@ the function @IsDivisible@ (with 3 args...
-
- Currently @wordlist.txt@ contains also OBSOLETE/OBSOLESCENT entries.
Is this sensible? Shouldn't they be removed?
-
- @Main.C@ calls @OnLine::XMLFileName@, but I think probably should not.
Consider removing the call; and implement i... -
- Florian suggests putting a link to the github address somewhere evident on the download page for CoCoA-5 for linux.
... -
- This was resolved some time ago by including in the @release-linux.sh@ script a check that the start-up script in the...
-
- Decision: distrubution with two executables.
John does the cocoa-5 script
Anna does the release script (and the rel... -
-
-
-
- Closing because the current design seems to work well (and has not changed for many months).
Surely the recorded t... -
- Resolved: use the function *@IsAtEOF@* (which existed but was not documented).
-
- I have improved the man page for @GetLine@ -- it no refers also to the page for @IsAtEOF@.
-
- John Abbott wrote:
> My current feeling is that I should simply change the error mesg, and leave the rest as is: nam... -
- If we allow 0 as a multiplicity when calling @myAppend@ then it should also be allowed in the ctor call which accepts...
-
- I resorted the lines and now gives the message in the bottom line.
Works fine on emacs 26 and 24. I expect it works... -
- @string-to-number@ should be used instead.
But there are a few more things not working as before: the error text in ... -
- @string-to-int@ has been an obsolete function since Emacs 22.1, and it was removed in 26.1.
Fix code in @cocoa5.el@
Also available in: Atom