Activity
From 17 Sep 2016 to 16 Oct 2016
14 Oct 2016
-
16:34 CoCoA-5 Slug #709: Speed of some Normaliz calls (NmzComputation)
- I have reconfirmed that there is strange behaviour on the Linux machine here in Kassel. Compiler is @g++@ version 5....
-
- Getting a better error message from the input @ideal(R,x)@ would be decidedly tricky. The error is actually triggere...
-
- The source code the *@ideal@* function in CoCoA-5 appears to start at about line 1520 in @BuiltInFunctions-CoCoALib.C...
-
- The options relating to @readline@ have inconsistent names:
* *@--with-readline=@*
* *@--with-libreadline=@*
The...
13 Oct 2016
-
- I have also change the "goodbye pop-up window" in the GUI so that it says "Ciao" instead of "Bye".
-
- This will be a little tricky so postponing.
-
- Another postponement. It is probably nice for a user to find in a single place a summary of the main quirks/foibles ...
-
- No chance of finishing this is in the near future; postponing by 1 version.
-
- Should there also be an option to say not to use @readline@ even if it is present?
If so, what should the option be ... -
13:39 CoCoA-5 Design #491: Cleaning: Cruft in CoCoA-5 packages
- This issue seems dormant, in reality every time we open a package we clean it up a little bit ;-)
(for example with ... -
- This is going to be a long and tedious job; moreover it should probably be done when Anna and I can be together.
F... -
- Since the fns which depend on @libblas@ are not documented, perhaps all public versions should be without them (not j...
-
- Postponing again; also lowered priority to *low*.
-
- Postponing because I have no idea how to resolve this (certainly not in the near future).
-
- I am postponing this issue; perhaps I'll wait until it becomes "necessary" for some other task, then decide what to d...
-
- This has been dormant for over two years; should we just close it? I guess Limbeck is/was unable to test it for us.
-
- Thanks John! Now we have only the "16bytes"...
12 Oct 2016
-
- The following URL may help:...
-
- One easy way to avoid the problem is to paste the line into a buffer in @cocoa5-mode@ (_e.g._ associated to a CoCoA-5...
-
- Note that issue #433 dealt with the problem of sending long lines from a @cocoa5-mode@ buffer to the interactive CoCo...
-
- I sent a long line to an interactive cocoa5 inside emacs (v.24.5).
CoCoA saw only the first part of the input line; ... -
- I'll do @test-OrderedRing2@.... there is a leak in twinfloat.
I know where it is; now I just have to find a nice way... -
- Anna Maria Bigatti wrote:
> First run of valgrind (I had to reinstall valgrind on my mac...)
> [...]
The "16-byt... -
- First run of valgrind (I had to reinstall valgrind on my mac...)...
-
-
- John Abbott wrote:
> Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
OK, moved i... -
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
-
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... -
- This is probably not the right place, but I happened upon the following web page about problems with Emacs becoming v...
-
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
(automatize this step) -
- First round of @make ManExamples@
(checked and made a few fixes in Makefile) -
- Yes, it would be good to find a way of giving recognition to those who have contributed to CoCoA(Lib).
A possible ... -
- From #711 (8) (External Libs: print credits?)
If we do implement some scheme for recognising use of external librari... -
- list of linked libraries is printed what cocoa starts.
For the refinements I opened issue #943.
Feedback on this? ...
10 Oct 2016
-
- I have put this issue under CoCoALib, but it is just as relevant to CoCoA-5.
In general my personal preference is ... -
- I notice that we have the following 2 names for functions: *@intersection@* and *@saturate@*.
In CoCoA-3 and CoCoA... -
- There is quite a lot of "cruft" in the packages: either commented out code or code which I suspect can never be calle...
-
- I have already make a first pass at cleaning up the packages, but there is still more to do.
The CoCoA-5 tests are... -
- Even though (we hope that) all the packages are destined to migrate to CoCoALib, it is probably worth keeping them re...
-
- This is likely to be an arduous task, and will surely take a long time.
My hope is that the same tests can still b... -
- While trying to "modernize" the CoCoA-5 packages, I thought that running the CoCoA-5 tests would be a good way of tra...
-
- I had already done some cleaning, so that now @IsConvertible@ is not used.
Now I removed the commented out old code.... -
-
- Done. cvs-ed.
-
- Anna Maria Bigatti wrote:
> Every so often we should run the tests without the BackwardCompatible package. (I tho... -
- John Abbott wrote:
> By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
Yes, that's w... -
- By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
We could even move @Bin@ to @obsole... -
- No need to do any change: the official names are indeed @binomial@ and @deriv@ as in cocoalib.
I'd rather keep @Bin@... -
- My preference is for *@deriv@* in both CoCoALib and CoCoA-5, but that is not backward compatible :-/
I think @deriv@... -
- Should we change @deriv@ into @der@ in CoCoALib?
-
- I believe this is at a good point, especially for prime cardinality. Elisa?
-
- Close this issue? I think that @ideal(x)@ is hard to beat ;-)
-
- No need to do any change: the official name is indeed @factorial@.
I'd rather keep @Fact@ working smoothly for some ... -
- In #868 (comment 3) Anna pointed out that the name *@Fact@* could easily be seen as ambiguous (short for *@factorial@...
-
- I suggest renaming *@Fact@* to *@factorial@*, the same name as used in CoCoALib.
This change is not backward-compati... -
- Yes, apparently I thought I still needed the version in the xml, but I don't.
I cannot imagine what may go wrong rem... -
- It seems this is no longer needed.
... I cannot find any use of version and date in online.C...
another thing I did... -
- I wrote it in June, and forgot to report it.
Feedback now. -
- cvs-ed manual
-
- added @CallOnGroebnerFanIdeals@. Works fine.
Philosophically a stream would be cleaner, but no time to think about ... -
- I have added the keywords *@exit@* and *@quit@* to the file @cocoa5.el@.
-
08 Oct 2016
-
- Unfortunately the code for reading "decimal numbers" appears twice: once in *@operator>>@* for @BigRat@ and once agai...
-
- I have now implemented the following:
after @^@ there may be an unsigned integer literal or @(@ optional-sign unsign... -
- The suggestion of another function (perhaps called @ReadExprList@) still seems good to me.
Hmmm, but then again a ... -
- I think I have fixed it all now.
The comment about changed semantics (comment 5) no longer holds!
Note that @1.... -
- I have fixed it now, and added a new @test-RingElem5@ for the function @ReadExpr@ (for rational numbers).
Trickier...
07 Oct 2016
-
- I see no choice but to make @2/3^4@ read as an expression @div(2, power(3,4))@, and this implies that all rationals e...
06 Oct 2016
-
- It is a slightly subtle bug: at first sight it seems reasonable that @<constant>^<integer>@ should yield the obvious ...
-
- After my change to @ReadExpr@ so that it can read rational numbers, the fn now misreads @"2/3^4"@ and produces 16/81 ...
-
- Currently in MinPoly.C there is a class IncrLinDep.
It is small and neat: I think this is the perfect paradigm for a... -
- John Abbott wrote:
> What exactly do we want to allow in the exponents?
> The simplest solution would be to allow e...
05 Oct 2016
-
- The relevant source is around line 100 of @RingElemInput.C@
-
- What exactly do we want to allow in the exponents?
The simplest solution would be to allow either an integer liter... -
- The fn @ReadExpr@ fails if input contains an exponent which is not an integer literal: for instance...
-
- I'm not sure how related this is: a twin-float value can be printed out with a trailing @<dot>@ if the value is very ...
03 Oct 2016
-
- It seems that the weights must be integer. This should be documented!
-
- The fns @ElimMat@ and @ElimHomogMat@ should give error if the user supplies weights are not strictly positive (intege...
-
- This has been "resolved" for 4 months; moving it to "feedback". I expect the current scripts are not perfect, but th...
-
- I record that on 2016-05-20 Logar sent the following email (in italian) which says that the critical linux package to...
30 Sep 2016
-
- I tried on my old MacBook with g++-4.2, and the results were disappointing. The new class @INDEX@ was significantly ...
-
- In the example code above, initially I used the name @index@ for the class (rather than @INDEX@) but that produced st...
-
- Here is the test code I have been using: (functional rather than elegant)...
-
- For the record, here are the timings I obtained (on the Linux tower in my office):
built-in @IdentityMat@ 1.66s
@Id... -
- I implemented a prototype, and ran a speed test. The results are mixed: usefully faster than current @MachineInt@, b...
-
- Advantages:
* One hope is that the simpler implementation may allow the compiler to be clever (and optimise away alm... -
- The implementation of @MachineInt@ is a bit messy as it tries to guarantee that no information will be lost (_e.g._ a...
-
- This should be easy once elim orderings are properly implemented, right?
-
- Currently there is a single @configure@ script for both CoCoALib and CoCoA-5. Strictly they should be separate.
I... -
- A reasonable solution might simply to be to remove the BOOST dependent code in @ThreadsafeCounter@. This would mean ...
-
- As far as I can see, the code in @ThreadsafeCounter@ will probably become much simpler when we switch to C++11 (since...
-
- Currently we have a single configuration process (script) for both CoCoALib and CoCoA-5. This is not ideal!
Gereo... -
- An aspect to bear mind if we do opt to become BOOST dependent is that linking would then require linking (first) with...
29 Sep 2016
-
- John Abbott wrote:
> Should @ElimMat([1,2,3], 4)@ and @ElimMat([3,2,1], 4)@ give the same result? Why or why not?
... -
- Should @ElimMat([1,2,3])@ and @ElimMat([3,2,1])@ give the same result? Why or why not?
In other words, does the o... -
-
- I'm no longer sure what worried me so much about @ConstMatrixView@; I suspect that the new class @ConstMatrix@ has pr...
24 Sep 2016
-
- Make GBasis verbose mode official (both in CoCoALib and CoCoA-5).
Requested by Tetsuo Ida -
- Since we have decided that expressions of the form @1/3*x@ deserve a warning on input, and since with genuine rationa...
-
- A polynomial with TwinFloat coeffs does not put the coeffs in brackets....
22 Sep 2016
-
- I've written some hasty documentation... it's better than nothing.
-
- JAA continues to like the idea of @ConstMatrix@. A nice advantage compared to @ConstMatrixView@ is that an object of...
-
- general improvement on coherence and readability of ElimMat and ElimHomogMat (was HomogElimMat)
-
- I have not noticed this problem lately. It wouldn't surprise me to find that it is due to the "wobbly" remote file s...
-
- removed TmpSmartPtrIRCCOW.H (gave warnings, and it was not used)
I saved a copy called TmpSmartPtrIRCCOW.H.dont-read... -
- when running dependencies there are lots of warnings about boost...
-
- Being annoyed by this repeated message (and also thinking of any other Mac user!!) ...
-
- Elisa confirmed.
-
- Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi...
-
- Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi...
21 Sep 2016
-
- Marked as low priority as it probably affects no-one (unless someone is looking for trouble by putting @ciao/exit/qui...
-
- The manual for ciao/exit/quit says the command can be used only at top level. This is apparently not true....
-
- What I did to add command "exit".
cd src/CoCoA-5
fgrep Ciao Lexer.C
--> Keyword("Ciao", TT_CIAO)
In Lexer.H ... -
- I think it should not be too hard to add an "exit" command, but this means introducing a new keyword which could, in ...
-
-
- Improved documentation about compiling ExternalLibs (after much suffering in recompiling with clang)
-
- just simplified CoCoA-5 porting (no longer passing through CoCoALibSupplement)
I'd like to change HomogElimMat into ... -
-
- Works fine for me (clang)
-
- This has been idle for 6 months; no problems have arisen. I have written a test (checked in).
So closing.
-
- I have just written a test (@test-RingAssign1@) which needed to create some DUP rings. I was surprised to discover t...
-
- I am closing (rather than rejecting) this issue. Here is a summary:
* throwing an exception is not possible (becaus... -
- Not really important, but it's nicer if the layout is correct.
Something to do when not feeling up to much... :-/
... -
- I noticed that the layout of the "history" at the bottom of the manual page for @MatrixView@ was incorrect. It is no...
-
- After some reflection and after speaking to Anna...
I now think that @MachineInt@ is wrong for indexes; the type @Ma... -
- The function themselves work fine. The discussion now is about the implementation of the bool3 flags, which is a mor...
20 Sep 2016
-
- Now I see that issue #830 went ahead even though it is incompatible with #89 and #124.
Oops!
What to do?
-
- Evidently I am not fully decided in my own mind whether it better to use @MachineInt@ for safety or @long@ for simpli...
-
- This matter has already been rasied in #89 and #124.
Much to my surprise in @matrix.H@ there are several @SetEntry@ ... -
- This is not a bug. The non mem fn @SetEntry@ calls explicitly @myIsWritable@, whereas the mem fn deliberately exclud...
19 Sep 2016
-
- Is it possible to have a common interface for bool and bool3? maybe there should only be bool 3, where @uncertain3@ ...
-
- In many classes we have some bool/bool3 flags.
Setting a FlagManager class within, could help us keeping the same ki...
Also available in: Atom