Re: [fricas-devel] fyi, the problem of zero result for antiderivative instead of not solved

2022-08-28 Thread Waldek Hebisch
On Sat, Aug 27, 2022 at 03:15:56PM +, Waldek Hebisch wrote: > On Sat, Aug 27, 2022 at 06:53:24PM +0800, Qian Yun wrote: > > I tested some of the integrals, not all. > > > > It seems that for integrals contain only x (no a/b), failure is

Re: [fricas-devel] Developement plans

2022-08-28 Thread Waldek Hebisch
I would like similar functionality but doing more and covering more functions. Basically to produce all data needed to convert given set of expressions into differential field generated by them and back (plus some other info to allow more efficient queries about structure of the field). --

[fricas-devel] Developement plans

2022-08-27 Thread Waldek Hebisch
e for best, but just when I hoped that things will go better we got Covid... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and s

Re: [fricas-devel] fyi, the problem of zero result for antiderivative instead of not solved

2022-08-27 Thread Waldek Hebisch
27; in integrator causes trouble in other places. This is similar to use of 'rootSum', once other parts are ready we can put the patches in. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS

Re: [fricas-devel] interpret output of the guessing package

2022-08-24 Thread Waldek Hebisch
nd slightly less informative. Note that OutputForm is OK, display problems are in formatters. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emai

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-23 Thread Waldek Hebisch
ometric. >9. Hyperbolic functions. >10. Inverse Hyperbolic functions. >11. Special functions. >12. Sam Blake input file. >13. Waldek Hebisch input file. > Well, this classification makes some sense for Rubi, but really is wrong one for other systems. Namely, what

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread Waldek Hebisch
s. Funnily, if I add next prime I get the same formula, so it passes normal sanity check. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-23 Thread Waldek Hebisch
(%root_sum (* %E (log (+ x (* (* 5 %E) a %E (/ (+ (* (* (* 3125 (^ %E 5)) (^ a 4)) b) - 1) (* (* 3125 (^ a 4)) b))) Type: InputForm -- Waldek Hebisch -- You received this message because you ar

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-23 Thread Waldek Hebisch
ould be good (similar to what you do for other problems). -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving email

Re: [fricas-devel] weird behaviour

2022-08-23 Thread Waldek Hebisch
perations with unsafe one viewed as exceptional and essentially confined to a ghetto. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group a

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-22 Thread Waldek Hebisch
ease give specific link(s) to these pages so I can look and see > what is the issue? Sorry, I did not write down specific link. IIRC it was one of integrals on the list in my previous message. -- Waldek Hebisch -- You received this message because y

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-22 Thread Waldek Hebisch
UC size of Sage result is due to Sage limitations that are unlikely to change in near future. However, in such cases size of result as seen via Sage interface in meaningless compared to true size of FriCAS result. -- Waldek Hebisch -- You received this message because

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-22 Thread Waldek Hebisch
implict algebraic quantities (constants). BTW: looking earlier I noticed some discrepancies between pages, summary claimed that result is big, specific page claimed timeout. -- Waldek Hebisch -- You received this message because you are subscribed to the Goo

Re: [fricas-devel] setSimplifyDenomsFlag

2022-08-22 Thread Waldek Hebisch
ons based on form of integrand and may take different code code path depending on setSimplifyDenomsFlag. Cases where setSimplifyDenomsFlag(true) makes things slower are borderline bugs: if integrator was smarter it would probably take better code path. -- Waldek

Re: [fricas-devel] transcendental integration regression

2022-08-21 Thread Waldek Hebisch
D(log(x)*log(x + 1), x) = (1/x)*log(x+1) + (1/(x+1))*log(x) (1/x)*log(x+1) should integrate to dilog. More generally, we would like to do (a/x)*log(x+1) + (b/(x+1))*log(x) which has elementary integral only when a = b and otherwise needs dilog. -- Waldek Hebisch -

Re: [fricas-devel] upload CI built binaries to nightly release

2022-08-14 Thread Waldek Hebisch
t do you think? > > > >Ralf > > > > Both options are fine for me. I can start preparing the rest pieces > (CI script) in my repo. And I'll reply to this thread again when > I'm done with the scripts and ready to create the new repo. For me both options are f

Re: [fricas-devel] remove remaining traces of "autoload"

2022-08-12 Thread Waldek Hebisch
On Fri, Aug 12, 2022 at 06:24:11PM +0800, Qian Yun wrote: > I believe the mentions of "autoload" can be safely removed from > src/algebra/Makefile.in, src/interp/util.lisp, Makefile.in. Yes, it is not needed now. -- Waldek Hebisch -- You recei

Re: [fricas-devel] fricas0 and "how to find a regression in 150 seconds"

2022-07-31 Thread Waldek Hebisch
e) but worse since _all_ times are longer. So to get significant improvement of compile time we need both to improve Spad compile time _and_ Lisp compile time. Somewhat related, Poplog has also more direct compiler interface, so it gives hope for non-Lisp compilation mode. --

Re: [fricas-devel] one way to reduce build time further (with sbcl)

2022-07-26 Thread Waldek Hebisch
efficiently loading needed data during main compile. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, s

Re: [fricas-devel] GitHub access

2022-07-26 Thread Waldek Hebisch
On Tue, Jul 26, 2022 at 09:02:02AM +0200, Dima Pasechnik wrote: > On Tue, Jul 26, 2022 at 1:42 AM Waldek Hebisch > wrote: > > > > On Tue, Jul 26, 2022 at 12:54:33AM +0200, Dima Pasechnik wrote: > > > On Mon, Jul 25, 2022 at 8:34 PM Waldek Hebisch > > > wrote:

Re: [fricas-devel] GitHub access

2022-07-25 Thread Waldek Hebisch
On Tue, Jul 26, 2022 at 12:54:33AM +0200, Dima Pasechnik wrote: > On Mon, Jul 25, 2022 at 8:34 PM Waldek Hebisch > wrote: > > > > On Sat, Jul 23, 2022 at 04:02:42PM +0200, Dima Pasechnik wrote: > > > On Sat, 23 Jul 2022, 15:46 Waldek Hebisch, > > > wrote

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-25 Thread Waldek Hebisch
On Mon, Jul 25, 2022 at 04:21:09PM +, Waldek Hebisch wrote: > > ATM only one patch is needed to build using 2.6.13pre and FriCAS > from distribution tarball: > > --- ../trunk/src/lisp/fricas-lisp.lisp 2022-07-23 20:46:47.697097794 +0200 > +++ ../dist/src/lisp/fricas-lisp

Re: [fricas-devel] About GitHub issues (not always showing email replies)

2022-07-25 Thread Waldek Hebisch
On Sat, Jul 23, 2022 at 04:02:42PM +0200, Dima Pasechnik wrote: > On Sat, 23 Jul 2022, 15:46 Waldek Hebisch, > wrote: > > > I must admit that my prefered information flow would be > > as follows: > > - issues in Github issue tracker. But if there is need > >

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-25 Thread Waldek Hebisch
On Sun, Jul 24, 2022 at 08:22:21PM +, Waldek Hebisch wrote: > On Sun, Jul 24, 2022 at 02:27:15PM +0800, Qian Yun wrote: > > > > > > On 7/24/22 10:41, Waldek Hebisch wrote: > > > > > >I have re-tried GCL 2.6.13_pre on Linux. I see similar error. &

Re: [fricas-devel] one way to reduce build time further (with sbcl)

2022-07-25 Thread Waldek Hebisch
On Mon, Jul 25, 2022 at 06:58:54AM +0800, Qian Yun wrote: > > > On 7/25/22 02:47, Waldek Hebisch wrote: > >On Sun, Jul 24, 2022 at 09:29:24PM +0800, Qian Yun wrote: > >>As you know, the majority time of building FriCAS is to compile > >>over 1000 SPAD files to LS

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-24 Thread Waldek Hebisch
On Sun, Jul 24, 2022 at 02:27:15PM +0800, Qian Yun wrote: > > > On 7/24/22 10:41, Waldek Hebisch wrote: > > > >I have re-tried GCL 2.6.13_pre on Linux. I see similar error. > >Running offending part by hand with > > > >)lisp (si::use-fast-links nil

Re: [fricas-devel] one way to reduce build time further (with sbcl)

2022-07-24 Thread Waldek Hebisch
1% > faster. > > This is just a rough idea, still a long way to figure out all the > details. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Waldek Hebisch
On Sat, Jul 23, 2022 at 09:16:11PM +0800, Qian Yun wrote: > > > On 7/23/22 20:46, Waldek Hebisch wrote: > >>GCL-2.6.13_pre fails to build on Linux with git HEAD. > > > >I commited GCL patches should make porting to newere GCL-s > >easier, but does not so

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Waldek Hebisch
t declaration problem), some more of sort 'look at this code, maybe you want to rewrite it'. If program is tied to specific compiler version, then one can tune warning options to disable unwanted ones. But that is inpractical if code is supposed to compile with wide range of compilers... --

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Waldek Hebisch
message that they no longer want to support macos-10.15. They turned of support for a day when I made 3 commits, maybe that is the reason. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebr

Re: [fricas-devel] About GitHub issues (not always showing email replies)

2022-07-23 Thread Waldek Hebisch
up to now I did not figure out how to merge Github pull request using _only_ git commands. Since I unable to use git commands ATM handling merging pull requests is extremally inconvenient for me. -- Waldek Hebisch -- You received this message because you are subscrib

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Waldek Hebisch
more than what I already know due to Murphy: there is failure somewhere. Up to now I was unable to see build logs to get more info. One answer to stackoverflow question claimed that one has to authenticate as project admin to see logs but I saw no docs how this is supposed to work. --

Re: [fricas-devel] download statistics of FriCAS-1.3.8 after 1 month

2022-07-20 Thread Waldek Hebisch
stimate is that less than 1% of users reports bugs. Some simply drop off and lose interest, some just live with bugs... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group

Re: [fricas-devel] testLibraryError

2022-07-18 Thread Waldek Hebisch
On Sat, Jun 11, 2022 at 05:29:38PM +, Waldek Hebisch wrote: > On Sat, Jun 11, 2022 at 04:30:42PM +0200, Ralf Hemmecke wrote: > > Hmmm, it seems that the unittest.spad is not really something that works > > nicely if there are testLibraryError calls to be tested. > > &

Re: [fricas-devel] Singular AX = B

2022-07-12 Thread Waldek Hebisch
ong with the > nontrivial nullspace. > > Is there a computationally more efficient method to solve the system that > can take advantage of the fact that column one of A is identically zero? 'solve' automatically takes advantage of zero columns, no need to do anything special. --

Re: [fricas-devel] Querying the algebra hierarchy

2022-07-10 Thread Waldek Hebisch
On Sun, Jul 10, 2022 at 07:59:08PM +0100, Paul Onions wrote: > On 10 Jul 2022, at 14:28, Waldek Hebisch > wrote: > > > > ... > > > > However, 'showSummary' really expects a Spad type. In > > my example type expression works because argu

Re: [fricas-devel] Querying the algebra hierarchy

2022-07-10 Thread Waldek Hebisch
On Sun, Jul 10, 2022 at 09:59:12AM +0100, Paul Onions wrote: > Hi Waldek, > > On 22 Jun 2022, at 09:10, Waldek Hebisch > wrote: > > > > Well, primary info is in domain vectors. For fully specified domain > > one can view it using routines in 'showimp.boot

Re: [fricas-devel] initial list of some integrals no longer evaluate in 1.3.8

2022-07-09 Thread Waldek Hebisch
On Fri, Jul 08, 2022 at 12:29:31AM +, Waldek Hebisch wrote: > On Thu, Jun 23, 2022 at 09:00:40PM -0700, 'Nasser M. Abbasi' via FriCAS - > computer algebra system wrote: > > Thanks for version 1.3.8. > > > > I've only did partial test (less than 50%)

Re: [fricas-devel] initial list of some integrals no longer evaluate in 1.3.8

2022-07-07 Thread Waldek Hebisch
+(-4)*a*b^2)*cos(d*x+c)^2+(4*b^3+8*a*b^2+12*a^ > > 2*b+8*a^3+((-8)*b^2*sin(d*x+c)+(-56)*a*b)*(b*sin(d*x+c)+a)^(1/2)))/(12*d) > ] > But does not evaluate in 1.3.8 Actually, this is really not a regression. This integral works or fails randomly both in 1.3.7 and 1.3.8. I w

Re: [fricas-devel] Re: FFI, CFFI, C2FFI, AUTOWRAP

2022-07-06 Thread Waldek Hebisch
e BLAS" which is probably base for translation to Lisp). On BLAS type code I would expect sbcl to get 2-4 times slower code that Fortran compiler. And since optimized BLAS uses special machine instructions and newer machines introduced more such instructions I expect that gap between op

Re: [fricas-devel] Scope markers

2022-07-06 Thread Waldek Hebisch
they may be wrong for some domains, so we need extra semantic info in output form to make sure such transformations are reliable. You somewhat think that changing output form is problematic. Well, output form is internal to FriCAS so from point of view of compatibility change to output form is

Re: [fricas-devel] fricas0 and "how to find a regression in 150 seconds"

2022-07-06 Thread Waldek Hebisch
5.080s sys 0m0.120s So, in real time ECL was fastest, but it shows slightly bigger CPU time than sbcl-2.2.6. At least for use with FriCAS ECL-16.1.2 seem to be few percent faster than newer versions. -- Waldek Hebisch -- You received this message because

Re: [fricas-devel] fricas0 and "how to find a regression in 150 seconds"

2022-07-03 Thread Waldek Hebisch
On Mon, Jul 04, 2022 at 08:36:23AM +0800, Qian Yun wrote: > > > On 7/4/22 01:25, Waldek Hebisch wrote: > >>>Some time ago it tunrned out > >>>that this setting is incompatible with using new sbcl interpreter. > >> > >>More info? > > >

Re: [fricas-devel] fricas0 and clasp

2022-07-03 Thread Waldek Hebisch
ources assume that quite early there is definition of macro called 'fricas-foreign-call'. When code tries to use undefined macro Lisp treats it as a function which leads to weird error. 'writeablep' is first thing defined using this macro... You should be able to go far using

Re: [fricas-devel] fricas0 and "how to find a regression in 150 seconds"

2022-07-03 Thread Waldek Hebisch
On Sun, Jul 03, 2022 at 09:48:04PM +0800, Qian Yun wrote: > > > On 7/3/22 20:42, Waldek Hebisch wrote: > > > >What we use is called by sbcl folks "old interpreter". There > >is also new interpreter which is supposed to be much faster. > > Yes,

Re: [fricas-devel] fricas0 and "how to find a regression in 150 seconds"

2022-07-03 Thread Waldek Hebisch
on time is 8s. > So with parallel complication we can get total time from 20s to 10s.) > > I think the format of *.daase and *.text can be improved. Some of the > KAF optimization doesn't make sense anymore. Small changes in code > should not cause huge changes in them. I am n

[fricas-devel] Re: FFI, CFFI, C2FFI, AUTOWRAP

2022-07-02 Thread Waldek Hebisch
scription is not clear but it seems that Gaby decided that bunch of Spad types will map to C types (that is user gives Spad types and interface uses corresponding C types for call). AFAICS this has serious limitations and for FriCAS I would like something better. -- W

Re: [fricas-devel] Line endings and appIcon.icns

2022-07-01 Thread Waldek Hebisch
W, I get this for example when I do: copy repository to different place (via 'cp -r') pull something from remote repository do 'git diff' > >warning: CRLF will be replaced by LF in contrib/macos/appIcon.icns -- Waldek Hebisch -- You rece

[fricas-devel] Line endings and appIcon.icns

2022-07-01 Thread Waldek Hebisch
I have several times got message: warning: CRLF will be replaced by LF in contrib/macos/appIcon.icns AFAICS appIcon.icns is binary file, so should be an exception to line ending rules. -- Waldek Hebisch -- You received this message because you are subscribed to

Re: [fricas-devel] pure lisp build (build without C)

2022-06-30 Thread Waldek Hebisch
On Fri, Jul 01, 2022 at 08:30:46AM +0800, Qian Yun wrote: > > > On 7/1/22 04:32, Waldek Hebisch wrote: > > > >I personally see no need for such option, but it is hard to > >know what other people want. > > So no objection here. I think it is a good thing to pr

Re: [fricas-devel] Scope markers

2022-06-30 Thread Waldek Hebisch
On Fri, Jul 01, 2022 at 12:20:35AM +0200, Ralf Hemmecke wrote: > On 30.06.22 23:29, Waldek Hebisch wrote: > >I mentioned that some time ago. I would like to add indication of > >scope to OutputForm. Main reason is SparseUnivariatePolynomial. In > >SparseUnivariateP

[fricas-devel] Scope markers

2022-06-30 Thread Waldek Hebisch
oing transformation above in precondition (which IIUC is used by all our formatters). Comments? Aternative ideas? -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system&

Re: [fricas-devel] pure lisp build (build without C)

2022-06-30 Thread Waldek Hebisch
fail in Poplog). Also, without FFI we would have no gmp for sbcl. With ECL no C compiler means no compiler at all. Let me add that I consider making FFI mandatory and using foreign code to speed up algebra. -- Waldek Hebisch -- You received this message because

Re: [fricas-devel] review request pr#93, pr#96

2022-06-29 Thread Waldek Hebisch
On Wed, Jun 29, 2022 at 11:20:33PM +0800, oldk1331 wrote: > On 6/29/22 23:05, Waldek Hebisch wrote: > > On Wed, Jun 29, 2022 at 10:00:21PM +0800, Qian Yun wrote: > >> I don't know if these 2 patches reached Waldek's mailbox or otherwise. > >> > >> (B

Re: [fricas-devel] review request pr#93, pr#96

2022-06-29 Thread Waldek Hebisch
t; solution spread out to many places creating hard to maintain mess. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [fricas-devel] About ChangeLog

2022-06-29 Thread Waldek Hebisch
MO spending a little extra effort is worth it. I am against longer log messages. There is really no upper bound on amount of extra info or explanations that somebody may need/want. And the purpose of log is to allow filtering which works well with terse messages. --

[fricas-devel] Re: sbcl on msys2 on windows

2022-06-28 Thread Waldek Hebisch
On Tue, Jun 28, 2022 at 08:51:31AM +0800, Qian Yun wrote: > > > On 6/28/22 06:42, Waldek Hebisch wrote: > >>OK, I wonder if you know that there is no libX11 in msys2/mingw64. > >> > >>Isn't the point of sman to support hyperdoc and graphics? (and clef)

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-27 Thread Waldek Hebisch
looks mostly OK. The little possible problem is choosing good test in configure. We probably need some testing to find out if the test for header is good one. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS

Re: sbcl on msys2 on windows Re: [fricas-devel] [windows] no sman on msys2/mingw64

2022-06-27 Thread Waldek Hebisch
On Mon, Jun 27, 2022 at 08:45:44AM +0800, Qian Yun wrote: > > > On 6/27/22 04:40, Waldek Hebisch wrote: > >On Sun, Jun 19, 2022 at 09:54:29PM +0800, Qian Yun wrote: > >> > >> > >>On 6/18/22 11:35, Qian Yun wrote: > >>> > >>>>

Re: [fricas-devel] what does it mean when Fricas returns list from Integrate command?

2022-06-27 Thread Waldek Hebisch
to decide which one is preferable (say real in area of interest). The integral above contains two logarithmic terms, depending on sign of 'a^2 - b^2' and 'c^2 - d^2' respectivly 'atan' form is real. Since there are two logarithmic terms this leads to 4 possible resul

Re: [fricas-devel] [BUG] sman causes endless loop if libraries required by viewman does not exist

2022-06-26 Thread Waldek Hebisch
On Mon, Jun 27, 2022 at 12:20:07AM +0800, Qian Yun wrote: > > > On 6/27/22 00:06, Waldek Hebisch wrote: > > > >There was a lot of "strange" code in the codebase. I tried to > >remove things that were obviously wrong, but there were confusing > >ca

Re: sbcl on msys2 on windows Re: [fricas-devel] [windows] no sman on msys2/mingw64

2022-06-26 Thread Waldek Hebisch
t works, then whole FriCAS should be able to run in similar way (that is msys2 sman + mingw FRICASsys). If not, then we need to eliminate use of pty-s first. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS -

Re: sbcl on msys2 on windows Re: [fricas-devel] [windows] no sman on msys2/mingw64

2022-06-26 Thread Waldek Hebisch
gt; But I am satisfied with current win32 native "FriCASsys.exe". > > SBCL on cygwin will probably meet same problem when it > tries to load cygwin dll. You could ask sbcl folks. Unless sbcl was ported to Cygwin it is unlikely to work with it... -- Wal

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-26 Thread Waldek Hebisch
On Mon, Jun 27, 2022 at 12:13:58AM +0800, Qian Yun wrote: > > > On 6/26/22 22:00, Waldek Hebisch wrote: > >On Tue, Jun 21, 2022 at 10:15:27PM +0800, Qian Yun wrote: > >>Can we try to fix this bug with 'sockaddr_un'? > > > >I am not sure what you mean

Re: [fricas-devel] [BUG] sman causes endless loop if libraries required by viewman does not exist

2022-06-26 Thread Waldek Hebisch
On Fri, Jun 24, 2022 at 05:57:54PM +0800, Qian Yun wrote: > > > On 6/18/22 09:23, Waldek Hebisch wrote: > >Coming back to respawning: I do not know if it is really > >necessary. It may be just defensive programming > >(sensible because modern OS-es work essentialy i

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-26 Thread Waldek Hebisch
s by sockets. Of course, in such scenario Winsock code would be quite important. Separate issue is Cygwin, I am not sure if it used Winsock sockets or Cygwin emulation. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] Querying the algebra hierarchy

2022-06-25 Thread Waldek Hebisch
On Wed, Jun 22, 2022 at 08:32:06PM +0100, Paul Onions wrote: > Hi Waldek, > > On 22 Jun 2022, at 09:10, Waldek Hebisch > wrote: > > > > On Tue, Jun 21, 2022 at 08:32:03PM +0100, Paul Onions wrote: > >> > >> Also, I’d like to get the Origin

Re: [fricas-devel] Re: initial list of some integrals no longer evaluate in 1.3.8

2022-06-24 Thread Waldek Hebisch
lifyDenomsFlag(true) FriCAS puts roots in numerator. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an emai

Re: [fricas-devel] initial list of some integrals no longer evaluate in 1.3.8

2022-06-24 Thread Waldek Hebisch
1.3.7 and there is substantial variation from run to run, so for the first six it is possible that 1.3.8 did not do them within limit. Or some timing oddity, expecially for the last one. -- Waldek Hebisch -- You received this message because you are subscribed to the Googl

Re: [fricas-devel] turn IntegerLocalizedAtPrime into an OrderedRing

2022-06-22 Thread Waldek Hebisch
On Tue, Jun 21, 2022 at 11:38:19AM +0200, Ralf Hemmecke wrote: > Oh... see pull request: > > https://github.com/fricas/fricas/pull/97 And of course, it can go in now. -- Waldek Hebisch -- You received this message because you are subscribed to the Goog

Re: [fricas-devel] Next release

2022-06-22 Thread Waldek Hebisch
feel good about "rewriting history" in such way... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: [fricas-devel] Next release

2022-06-22 Thread Waldek Hebisch
On Sat, Jun 18, 2022 at 04:12:45PM +, Waldek Hebisch wrote: > > Please consider now trunk frozen for release. FriCAS 1.3.8 is now released, development is back to normal. I hope that for next release developement cycle will be shorter. -- Waldek H

[fricas-devel] FriCAS 1.3.8 is released

2022-06-22 Thread Waldek Hebisch
sbcl). - 'iterate' is now implemented for Spad. Bug fixes, in particular: - Fixes for handling of kernels. - Fixes for 'elt' when handling segments with increments. - Fixed handling of predicates in rewrite rules. - Fixed build with clisp. --

Re: [fricas-devel] Querying the algebra hierarchy

2022-06-22 Thread Waldek Hebisch
#x27; mostly give higher level info based on databases. But there is a lot of filtering, reformatting, and some manipulation with conditions. Certanly I would like to expose useful information to allow better reuse. And ultimately convert all this code to Spad. -- Wald

Re: [fricas-devel] Next release

2022-06-22 Thread Waldek Hebisch
On Wed, Jun 22, 2022 at 08:44:00AM +0800, Qian Yun wrote: > > > On 6/22/22 08:18, Waldek Hebisch wrote: > >On Wed, Jun 22, 2022 at 07:46:03AM +0800, Qian Yun wrote: > >>Hi Waldek, > >> > >>GitHub allows me to modify the release page to add new binarie

Re: [fricas-devel] Next release

2022-06-21 Thread Waldek Hebisch
d not consider this to be critical. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an

Re: [fricas-devel] Next release

2022-06-21 Thread Waldek Hebisch
ut and it seems to work fine. What problem do you see? -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails fr

Re: [fricas-devel] turn IntegerLocalizedAtPrime into an OrderedRing

2022-06-21 Thread Waldek Hebisch
On Tue, Jun 21, 2022 at 08:40:15PM +0200, Ralf Hemmecke wrote: > Well, it's a simple patch that doesn't affect anything else. I was in the middle of creating release tarballs, any addition at this point would mean restarting. -- Waldek Hebisch --

Re: [fricas-devel] Next release

2022-06-21 Thread Waldek Hebisch
so, I have no way to test on Mac and almost no way to test on Windows. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop rec

Re: [fricas-devel] turn IntegerLocalizedAtPrime into an OrderedRing

2022-06-21 Thread Waldek Hebisch
ed. > > Can this still go into the new release? Sorry, too late. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiv

Re: [fricas-devel] Build with clisp

2022-06-20 Thread Waldek Hebisch
On Tue, Jun 21, 2022 at 11:55:30AM +0800, Qian Yun wrote: > I have updated my PR with your 'make-dir' code. > > And I have tested with clisp-2.49.92 and clisp git version. > Build with X11 and all tests passes. Please commit. -- Waldek Heb

[fricas-devel] Build with clisp

2022-06-20 Thread Waldek Hebisch
eason that we need to modify 'makedir', old version worked fine up to clisp-2.49). -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To u

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-19 Thread Waldek Hebisch
rger than pid_max. > I wonder if you'd like to share your distro's > information and kernel version. As I wrote many times: Debian 8 (with several private additions). uname -a Linux kompter 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt25-2 (2016-04-08) x86_64 GNU/Linux --

Re: [fricas-devel] Next release

2022-06-19 Thread Waldek Hebisch
o check: to build HyperDoc pages from git sources we need access to X server, either actual one or 'xvfb-run'. Release tarball contains pregenerated pages, so this is not a problem when building from tarball. -- Waldek Hebisch -- You received this message

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-19 Thread Waldek Hebisch
On Sun, Jun 19, 2022 at 01:25:24PM +0800, Qian Yun wrote: > > > On 6/18/22 19:44, Waldek Hebisch wrote: > >On Mon, Jun 13, 2022 at 11:03:29PM +0800, Qian Yun wrote: > > > >There should be way to write the code so that it works > >with -D_FORTIFY_SOURCE=2 and

Re: [fricas-devel] Next release

2022-06-19 Thread Waldek Hebisch
o that people who build from source tarball should get the same thing as people who fetch binaries. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe f

Re: [fricas-devel] why it makes difference using %i vs. sqrt(-1) in Fricas?

2022-06-19 Thread Waldek Hebisch
x) And yes, addition should be commutative, but type assignment works from left to right, so is noncommutative... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe fro

[fricas-devel] Next release

2022-06-18 Thread Waldek Hebisch
Please consider now trunk frozen for release. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-18 Thread Waldek Hebisch
URCE=1" can prevent > this problem. > > However, I still think using "0-9a-z" to encode socket > address is a better solution. There should be way to write the code so that it works with -D_FORTIFY_SOURCE=2 and large PID-s. Unfortunately on systems that I use I can

Re: [fricas-devel] an interesting bug, regarding sman (low level C stuff)

2022-06-18 Thread Waldek Hebisch
ng is to ensure that CFLAGS used during configure are also used during build. Another could be trying to blend user-provided CFLAGS with parts that we need. Trying to simply override CFLAGS in principle can fail, so adding "always needed" flags to CC is probably simplest way. --

Re: [fricas-devel] Fixing latex generated so not to use \over. Causes latex to hang when using breqn package

2022-06-17 Thread Waldek Hebisch
th '\over' it make sense > to make choice in TexFormat between '\frac' and '\over' configurable. > It even makes sense to make '\frac' a default (because plain TeX > gets much less use than in the past). I have now commited such change: TexFormat gene

Re: [fricas-devel] "allocate-vector" not defined since sbcl-2.1.5

2022-06-17 Thread Waldek Hebisch
er sbcl 'make-array' is faster, so using it is no so bad... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop recei

Re: [fricas-devel] [BUG] sman causes endless loop if libraries required by viewman does not exist

2022-06-17 Thread Waldek Hebisch
On Wed, Jun 15, 2022 at 09:05:48AM +0800, Qian Yun wrote: > > On 6/15/22 00:28, Waldek Hebisch wrote: > > > >If you take seriously possibility that viewman may die, then > >natural thing is to automatically restart it. And this is > >what 'sman' is doing

Re: [fricas-devel] elt(x,universalsegment) design discussion

2022-06-14 Thread Waldek Hebisch
for "indices" > that are segments. OK > Other ideas? Just for the record: we have 'doc' subdirectory where various plain text documentation should go. -- Waldek Hebisch -- You received this message because you are subscribed t

Re: [fricas-devel] [BUG] sman causes endless loop if libraries required by viewman does not exist

2022-06-14 Thread Waldek Hebisch
just spawn it once when launch fricas, > user can spawn it manually when needed. If you take seriously possibility that viewman may die, then natural thing is to automatically restart it. And this is what 'sman' is doing now. -- Waldek Hebisch -- Yo

Re: [fricas-devel] [BUG] sman causes endless loop if libraries required by viewman does not exist

2022-06-13 Thread Waldek Hebisch
cation protocol between various parts of FriCAS. Precondition for protocol change is getting right structure on Boot/Lisp side, in particular isolating all I/O. We are close to this, but still not there... -- Waldek Hebisch -- You received this message because y

Re: [fricas-devel] elt(x,universalsegment) design discussion

2022-06-13 Thread Waldek Hebisch
oks OK, please commit -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...

[fricas-devel] Integration with elliptic functions

2022-06-13 Thread Waldek Hebisch
ove is the same as the integrand. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an

Re: [fricas-devel] patches in Debian's repository

2022-06-13 Thread Waldek Hebisch
o work (say pass testsuite). Anyway, before I have reasonable confidence that we get something working I hesitant to apply patches that break older GCL versions (and due to incompatibilites some patches break older versions). -- Waldek Hebisch -- You received

Re: [fricas-devel] elt(x,universalsegment) design discussion

2022-06-11 Thread Waldek Hebisch
t; empty?(st2) Error signalled from user code in function f_elt: invalid access This may look perverse. However, it allows lazy evaluation, and has nice property that if computation finishes without error, then all values used in computation were in bound. -- Waldek H

<    4   5   6   7   8   9   10   11   12   13   >