John Abbott's activity
From 26 Jan 2020 to 24 Feb 2020
24 Feb 2020
-
16:56 CoCoA-5 Bug #1335 (Closed): ManExamples: some problems
- Closing, as I believe the current arrangement is acceptable.
21 Feb 2020
-
- Here are some test cases I found using a random search (ensuring the gens were x^6+lower, y^6+lower, z^6+lower):
<pr... -
-
- I have given Klaus a (minimal) executable to use for developing on his computer.
A full executable gave a linker err... -
- I have just had a meeting with Klaus:
* KISS: we do not use sockets at the moment, but instead @CoCoAInterpreter@ se... -
- I think @thmproving.cpkg5@ is OK, but the documentation needs to be checked and properly integrated.
-
- Not sure what the compilation problem in comment 3 was; it seems that starting CoCoA-5 from inside emacs, might somet...
-
- While it is hard to imagine how an empty error description could be useful, it is surely wrong that CoCoA-5 crashes.
...
20 Feb 2020
-
- ...
-
- Not pretty!!...
-
- The *@error@* function does not like having an empty string as argument: throws a fatal exception!
Reported vocall... -
- This is what I get at the moment:...
-
- Now I wonder if it may not be better to have the version *without* @readline@ being the default: it is less likely to...
-
- I have checked that *@assert@* exists and works, and is documented...
JAA thinks it is reasonable to include it in 5... -
- Should @assert@ be in 5.3.0 release?
I've changed target to 5.3.0 so that we discuss it! -
- I have improved the documentation (which is where I believe the problem lay).
The impl seems to be reasonable; but i... -
- The doc for @ImportByRef@ and @ImportByValue@ starts with a big warning. Is this still necessary?
Check this issu...
19 Feb 2020
-
- Remove thmproving from RelNotes!
-
- I have just tested, and slightly modified the manual.
Closing.
-
-
- Perhaps see also issue #1236 to see how I implemented sockets...
-
- I think we are quite far from completing this issue. Postponing...
18 Feb 2020
-
- I have done the following files:...
-
- The problem is in the fn @myGBasis@
The impl has too many assertions that @myGBasis@ is empty; just a single asser... -
- I compiled CoCoALib (and CoCoA-5) with debugging active. The last test in @exbug.cocoa5@ fails...
17 Feb 2020
-
- I have changed some @for@ loops to use the new syntax.
It is slightly worrying that one can change the code so easil... -
- A challenge for Anna: can you write @DynamicBitSet::IamAll1s@ using the new "range-based" for loop syntax?
-
- This issue is very old. GMP has surely changed over the last 5 years (but last update was about 2 years ago).
The o... -
- I propose:
* make Linux binaries *without* libblas
* make two binaries: the default one with @readline@, and anothe... -
- Visit is over. We managed to do most things :-)
Closing. -
- Removed old impl. Added doc and test.
-
- Anna can you try compiling the latest version (3.8.4)?
Also note well what you had to do to make it compile.
-
- This is not urgent for Vietnam; postponing. Though it we be good if we could make some progress.
-
- I still prefer postponing this issue to the next version, so that we can discuss better the semantics, and when/if er...
-
- My idea in comment 8 is not so clever... well, the SHA cannot be inside the TGZ file.
Just put it on the website in ...
15 Feb 2020
-
- The current state is that only the entries for *@OpenSocket@*, *@ReloadMan@* and *@SystemCommand@* report errors.
I ... -
- I have now added the related issue (#990) for the targz file for the binary release.
I suppose we should do a fina... -
- I have unpacked the latest targz "binary" file for CoCoA-5.2.9.
Some files erroneously have "execute" permission:
... -
- There is a similar line in @myTestIsPrimary_0dim@ (around line 252).
Make the same change there???
-
- -A fairly simple approach would be to put the SHA checksum in the release notes- (perhaps near the start?) *<--- BAD...
-
- There was not enough time during my visit, so we were unable to look at this. Postponing to next version.
-
- There is a tutorial about the emacs UI. Perhaps this can be extended; or maybe a "basic" and an "advanced" tutorial?
-
- Make the manual entry for *@NewPolyRing@* easier to understand.
-
- This seems to work fine now. The manual page needs cleaning; but I'll make a separate issue.
Closing.
-
- @find@ may also behave in a "slightly unexpected" way:...
14 Feb 2020
-
- If the list @L@ contains entries of different types then the fn defn given above might produce an error (since @opera...
-
- Now it gives @false@.
Added test to @test-bug3.C@.
-
-
- Names have been improved. Perhaps we'll think of better ones after the COCOA School...
Closing.
-
- The name is now *@IndetsIn@* the same name for the analogous fn for @RingElem@.
-
- Anna tried her script for making a source code TGZ file. We found just 3 spurious files: these have been removed.
I... -
- Appears to work now. Closing.
-
-
- It would be nice to improve this a bit for Vietnam. Do we have enough time to do so?
-
- We should remove the link to Sapporo (since it is no longer relevant).
Our web page is @http://cocoa.dima.unige.i... -
- This cannot be solved: the remote has been replaced by something else.
Closing.
-
- I have moved the example into a new file *@ex-c++-vector2.C@* which illustrates how to "translate" the CoCoA-5 functi...
-
- The old Qt interface has not worked for quite some time.
Also we now handle CPP flags in a different way (via the fi... -
- The following works:...
-
- Anna assumes henceforth *TOTAL RESPONSIBILITY* for @obsolescent.cpkg5@.
She wants to extend it until eternity. Go...
13 Feb 2020
-
-
- This has already been done, apparently.
There is a fn called *@indets@* which returns a @vector<long>@ being a list ... -
- Robbiano dice che il nuovo codice di Long e` sufficiente. MK crede che la vecchia codice (in C++) sia piu` veloce.
... -
- Marked some tests as *@INACTIVE@* (by changing file name); Anna thinks it is best to keep these tests around, in case...
-
- Seems OK now. No doubt the school in Vietnam will be an "interesting" proving ground.
Closing.
-
- The option is available unde the CoCoA-5 drop down menu. It remains active only the current emacs session: if you cl...
-
- To appease Anna I have implemented the special case of the power of a diagonal matrix in CoCoALib (and removed @Power...
-
-
- Not necessary for this release. The remaining fns should be ported to C++; then we can elim the package.
-
- Maybe the move ctor from C++14 can help here?
Postponed because it will take (a lot of) time to fix.
-
- The problem remains on the main page for CoCoA-4.7.5.
In any case, we are planning to hide/remove these (very old) p... -
-
-
- A command line flag for the CoCoAInterpreter is now available, but it does not yet open a socket. This will be fixed...
-
- I have ported the code. In fact @thmproving.cpkg5@ is already included in 5.3.0, but completely undocumented. Let's...
-
- Port old CoCoA-4 package *@thmproving@* to CoCoA-5.
-
- Implemented *@IndetsProd@* -- advantage is that it gives same interface in CoCoALib as in CoCoA-5. *@IndetsIn@* is a...
-
- After discussing with Anna, she wants the result to be a polynomial (which is a 1-monomial) whose value is the produc...
-
- Anna confirms that she has @shasum@ on her computer.
The main question remaining is how to use the SHA sum in a se... -
- See comment 6 in issue #1358. I think it might be relevant here.
-
- This has been working trouble-free for 3 months. Closing.
-
- It would be helpful to have a short "manual" for redmine which explains how to do some operations (_e.g._ create a ne...
-
- Anna finds current @--help@ doc acceptable. Closing.
*NOTE* the help will almost certainly change when #1360 is i... -
-
- The code calls @IsNonNegGrading@ (see @MatrixForOrdering.C@ around lines 959 and 973).
I presume @IsNonNegGrading@ ... -
- I have added the example to @exbugs.cocoa5@
Closing!
12 Feb 2020
-
- The name was changed about 4 years ago (late 2015 or early 2016).
The name @MakeTermOrdMat@ is more sensible; we w... -
- This info is useful for people who want to download the source and compile; it is not necessary for the imminent rele...
-
- When should we run the script?
It would be nice if it could be run automatically (and "often"), but it cannot really... -
-
- I prefer to create a new ideal, and not to change the existing one.
Note that an exception-safe impl almost certai... -
- At some point I put in the @trap@ command. It seems to have worked OK for the last month or so.
Closing.
-
- I have merged @test-bug5@ into @test-bug2@ and @test-bug4@ into @test-bug3@.
*SPEED CHECK* compilation of all tes... -
- I have added a test to @test-matrix2.C@.
-
- Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
-
- I have rearranged the root @Makefile@: there is a new phony target @before-compiling@ which builds @include/CoCoA/lib...
-
- Here is a *bad idea*: in the root @Makefile@ I simply removed the dependency of @check@ on @library@. This _does not...
11 Feb 2020
-
- The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d... -
- Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A... -
- Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa... -
- I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really... -
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
-
- The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see...
-
-
- Improved doc with Anna's help. Closing.
07 Feb 2020
-
- Here is another example (with *@DegRevLex@*). The "Final clean up" consumes 99% of the time!...
06 Feb 2020
-
- An important clarification:
* if I send a line to CoCoA-5 then the magnification remains unaffected
* if I do *@Sou...
05 Feb 2020
-
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... -
- I have made the manual entry better (I hope!)
-
- I like the suggestion to change the fn to *@void@*. Still we should discuss it when I'm there.
Also we should look ...
04 Feb 2020
-
- Florian has reported a problem with our being "naughty" about making a new release without changing the version numbe...
-
- The corrected code should be in 0.99700.
We should discuss the design when I'm in Genoa. Maybe we can finish this f... -
- I have just spoken to Klaus.
JAA will try to modify the interpreter so that it send the "status messages" to a speci...
03 Feb 2020
-
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... -
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
-
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE... -
- This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved thi...
-
- I think it is OK now.
The problem was in @SparsePolyOps-ideal-ZeroDim.C@ around line 295. The result was computed... -
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... -
- I fixed this as well. Anyway, we can merge when I'm in Italy (hopefully).
I agree that the use of @myAssignPrimar... -
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
31 Jan 2020
-
- I suppose the GPG signatures give a better guarantee of correctness.
Probably we should try both ways, and see how...
30 Jan 2020
-
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
29 Jan 2020
-
- *2020-01-28* I have written to Anders. He is willing to put a @GFANLIB_VERSION@ CPP macro in future versions (starti...
-
- I have just stumbled across "GPG" signatures for software. There is a description at @https://www.gnupg.org/gph/en/m...
28 Jan 2020
-
- I tried something like the following:...
-
- Julian already has an impl which works for him/
We should decide exact semantics and API.
*After* Vietnam!
-
- Add a new function to perform interreduction of a list of polys.
Julian already has an impl.
-
- One possibility is that @?terms@ produces the page for @NumTerms@, but that then in the "see also" section there are ...
-
- What do you expect the CoCoA-5 manual to respond to the query:...
-
- I have implemented a *@fold@* function in CoCoALib, and exported it to CoCoA-5.
I have not implemented a "smart" f... -
- Since this issue was created we have also added @SignalWatcher@ to CoCoALib; so this issue is just as relevant to CoC...
-
- I think the function that I added is the following...
@(defun cocoa5-send-string (cocoa5-input-line)...)@
I prefe... -
27 Jan 2020
-
- We should check the situation, and add appropriate advice in the release notes!
-
- I am rejecting this issue.
The "squarefree" part is too risky/costly for large integer args.
It could be done for p... -
- It still happens -- in a sense.
It is not really harmful; just a bit annoying.
If I do @make lib@ then it compi... -
- Currently we have @MakeTermOrd@ both in CoCoALib and CoCoA-5.
Acceptable? Close?
Last comment was 2 years ago.
-
- This was presumably done about 4 years ago, but we forgot to close the issue...
Closing now.
-
- The timings on my current machine (Fujitsu) are:
@FactorMultiplicity(2, N)@ about 16s
@FactorMultiplicity(5, N)@ ... -
- It would be nice to finish this issue... possible for 0.99700?
[not really urgent, but its has been lingering for a ... -
- Here is what I did:...
-
- What is the status of this issue? Can we close it?
-
- Since we moved to C++11/C++14 we can use an atomic C++ counter instead of the threadsafe code; so I have already dele...
26 Jan 2020
-
- Now I think this is done:...
-
- Should we close this issue? Is it quite old, and I think we have learned to use redmine reasonably well.
Accordin... -
- Here is a simple program I have used for testing (just printing of @BigInt@):...
Also available in: Atom