Re: [fricas-devel] Airy, Bessel and hypergeometric functions

}(z) where both the argument, z, and the order, \nu, are complex. Anyway, it makes hardly sense to convert F90 to fricas, but it may be helpful for comparing purposes. On 08.04.2021 20:06, Waldek Hebisch wrote: > On Thu, Apr 08, 2021 at 07:17:42PM +0200, Kurt Pagani wrote: >>

Re: [fricas-devel] Airy, Bessel and hypergeometric functions

Maybe you are already aware of COMPUTATION OF BESSEL AND AIRY FUNCTIONS AND OF RELATED GAUSSIAN QUADRATURE FORMULAE by WALTER GAUTSCHI https://www.cs.purdue.edu/homes/wxg/selected_works/section_02/169.pdf The code is in Fortran though. https://www.cs.purdue.edu/archives/2001/wxg/codes/ IMO it

Re: [fricas-devel] 4ti2 and )set message time on

On 16.04.2021 00:39, Waldek Hebisch wrote: > On Thu, Apr 15, 2021 at 05:59:54PM +0200, Ralf Hemmecke wrote: >> I am calling an external program in a .spad file like this: >> >> systemCommand(cmd)$MoreSystemCommands >> >> where cmd is >> >> "system /usr/bin/zsolve-4ti2 DATA" >> >> When I switch on

Re: [fricas-devel] INSTALL

On 19.04.2021 21:26, Waldek Hebisch wrote: ... > > Mainly the second, INSTALL should be readable as plain text. > It is OK to have marked up version as master source. Some > markup formats can produce decent looking plain text versions > (IIUC sphinx is supposed to produce text version, but ATM

Re: [fricas-devel] inverting matrixes over rings

On 13.04.2021 11:35, Prof. Dr. Johannes Grabmeier privat wrote: > the FriCAS code for inverting matrices over R is not correct. If wished > I can provide the necessary changes to matfuns.spad From my side, please do ;) (2) -> IU := inverse(U)@Matrix(R) An expression involving @

Re: [fricas-devel] Interfacing C functions (with SBCL)

The problem seems to be known for a long time. It works when "compiled" but not when interpreted. https://bugs.launchpad.net/sbcl/+bug/1731556 https://bugs.launchpad.net/sbcl/+bug/992362 https://bugs.launchpad.net/sbcl/+bug/734259 Note: I added a "(in-package :cl-user)" top in your test.lsp,

Re: [fricas-devel] New README

On 18.04.2021 17:34, Ralf Hemmecke wrote: >> http://www.math.uni.wroc.pl/~hebisch/fricas/README ... > > https://stackoverflow.com/questions/2351190/static-dynamic-vs-strong-weak > > If I look at what they write in the first reference than with our > "pretend" keyword, SPAD would be weakly

Re: [fricas-devel] Bug in Complex

Not at all ;) It shows once more that DF ought to have no place in a CAS. DF is a source of confusion on its own. I'd use Interval(Float) or Float, if need be ... BTW 0.5 and 1/2 have different types. The interpreter is sometimes too broadminded. On 19.02.2021 01:17, Tobias Neumann wrote: >

Re: [fricas-devel] Re: Debian package on github?

There is one, however, its underlying Lisp is GCL. Unfortunately jfricas requires SBCL or another bordeaux threads capable Lisp. Otherwise it works well ;) kfp@sirius:~$ apt search fricas Sorting... Done Full Text Search... Done elpa-fricas/impish,impish 1.3.7-1 all General purpose computer

[fricas-devel] retract(s) missing ( Internal Error)

Some code using "retract" breaks since V1.3.7. I couldn't figure out which revs might be accountable for. Any clues? Here a minimal sample: )abbrev domain TSTXDP TestXDP TestXDP() : Exports == Implementation where R ==> Expression Integer SYM ==> Symbol XFS ==> XFreeAlgebra(SYM,R)

Re: [fricas-devel] retract(s) missing ( Internal Error)

On 24.04.2022 17:14, Ralf Hemmecke wrote: > Hi Kurt, > > You do not need to create a new domain. It also fails to work with XDP in the > latest master. I was aware about that, however, the strange thing is that this failed already in version 1.3.5. (2) ->

Re: [fricas-devel] retract(s) missing ( Internal Error)

On 24.04.2022 17:38, Ralf Hemmecke wrote: >>> You do not need to create a new domain. It also fails to work with XDP in >>> the >>> latest master. >> >> I was aware about that, however, the strange thing is that this failed >> already >> in version 1.3.5. > > Something I don't understand...

Re: [fricas-devel] texmacs interface

You're right, there is not much that's not already integrated in TeXmacs. On the other hand, as a frequent Tm user, I'd suggest to update the folder and even considering to fill it with useful addons instead ;) There is no doubt, Tm has dramatically improved in the past years and the fricas

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

On 02.07.2022 19:08, Waldek Hebisch wrote: > On Sat, Jul 02, 2022 at 10:10:11PM +0800, Qian Yun wrote: ... > > What I would like to call: > - matrix-matrix multiplication from BLAS > - routines like solve, SVD, eigenvalue decomposition from Lapack > - multiplication for polys over Z_p > >

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

On 17.06.2022 14:58, Qian Yun wrote: > echo 100 | sudo tee /proc/sys/kernel/ns_last_pid Hi Qian Indeed! --- fp@sirius:~$ echo 100 | sudo tee /proc/sys/kernel/ns_last_pid 100 kfp@sirius:~$ fricas viewman not present, disabling graphics hypertex not present, disabling *** buffer

Re: [fricas-devel] Problem with retract

ing at problem reported by Kurt Pagani. Direct reason > for trouble is that up to 1.3.6 FreeModuleCategory exported > retraction to base set. This retraction is no longer present > in 1.3.7. FreeModule still has such retraction, but > XPolynomialRing which inherits implementation

Re: [fricas-devel] write!(f, Integer)

For instance, FORMAT('NIL,"~12,'0d",123)$Lisp "0123" s:=s.(1..#s-1) s:=string FORMAT('NIL,"~0,20$",123)$Lisp "0123" https://en.wikipedia.org/wiki/Format_(Common_Lisp) On Wednesday, 13 April 2022 at 18:47:27 UTC+2 ra...@hemmecke.org wrote: > On 13.04.22 18:03, Sid

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

A great convenience, +1 :) On 20.08.2022 14:33, Qian Yun wrote: > Done, you can see the result at: > > https://github.com/fricas/fricas-nightly-builds > https://github.com/fricas/fricas-nightly-builds/releases/tag/nightly > > - Qian > > On 8/18/22 18:57, Qian Yun wrote: >> So this is my CI

[fricas-devel] Numbers as type parameters

Problem: when using a type A(p:Polynomial Integer) in another type B, then Fricas complains if p is a number (Expression makes no difference). Is there any method to tell the compiler that the number (if) is a "Polynomial Integer"? I tried out as much as crossed my mind. Any clues highly

Re: [fricas-devel] Numbers as type parameters

On 01.09.2022 19:11, Waldek Hebisch wrote: > On Thu, Sep 01, 2022 at 09:11:33AM -0700, Kurt Pagani wrote: >> Problem: when using a type A(p:Polynomial Integer) in another type B, then ... > > ATM I see no chance to make this working. Let me recall what I wrote > im March 20

Re: [fricas-devel] Numbers as type parameters

, 1 September 2022 at 20:38:20 UTC+2 Waldek Hebisch wrote: > On Thu, Sep 01, 2022 at 07:32:00PM +0200, Kurt Pagani wrote: > > On 01.09.2022 19:11, Waldek Hebisch wrote: > > > On Thu, Sep 01, 2022 at 09:11:33AM -0700, Kurt Pagani wrote: > > >> Problem:

Re: [fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

That's great! By the way, may I ask how the latex (e.g. column fricas_anti_in_latex) is generated? By sage or fricas itself? Greetings Kurt On 24.08.2022 11:42, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI posted at https://groups.google.com/g/fricas-devel and >

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

On 24.08.2022 09:42, Ralf Hemmecke wrote: >> The reason that the innermost terms (i.e., the factors in the product > > Still there is the question, how am I supposed to take the result apart for > further computation. That should be explained somewhere. You cannot expect > your > users to

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

Hi Nasser Nice work! Thanks and best regards Kurt p.s. I'm quite surprised by the Sympy performance. Not bad (IMO) for a pure Python system :) On 21.08.2022 08:15, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI, > > (Posted at https://groups.google.com/g/fricas-devel and

Re: [fricas-devel] is there an official Fricas icon?

Although I care little about logos, it might be preferable to have one that can be constructed in a simple way, e.g. as ASCII art or by a LaTeX macro. There are some tools (figlet for ascii-art) or tizk for LaTeX which may be of help (see links below). A quick search and some adjustments resulted

Re: [fricas-devel] Adding new lisp (ABCL) support

Hi Qian I strongly encourage this endeavor :) ABCL is quite useful when speed is not the top priority. Fricas in a .jar would be really attractive. I reported a bug 5 years ago ... but I'm not up to date at the moment. https://armedbear-devel.common-lisp.narkive.com/Yh8vNHwi/fricas-w-abcl It

Re: [fricas-devel] Adding new lisp (ABCL) support

This is the official one: https://abcl.org/ Meta: it is (very briefly) mentioned in https://en.wikipedia.org/wiki/Common_Lisp """ Freely redistributable implementations Armed Bear Common Lisp (ABCL) A CL implementation that runs on the Java Virtual Machine.[23] It includes a compiler to

Re: [fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

ll inside sagemath. --Nasser On Wednesday, August 24, 2022 at 7:54:39 AM UTC-5 Kurt Pagani wrote: That's great! By the way, may I ask how the latex (e.g. column fricas_anti_in_latex) is generated? By sage or fricas itself? Greetings Kurt On 24.08.2022 11:42, 'Nasser M. Abbasi' via FriCAS - compu

Re: [fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

; 85479 --Nasser On Wednesday, August 24, 2022 at 10:47:24 AM UTC-5 Nasser M. Abbasi wrote: Hello Kurt; The latex for Fricas and Maxima and Giac is all generated by sagemath itself. After the call from integrate returns, the test program does anti_in_latex = latex(anti) In the sagem

Re: [fricas-devel] Re: thoughts on SparseUnivariatePolynomial multiplication

On 02.10.2022 12:37, Qian Yun wrote: On 10/2/22 13:18, Qian Yun wrote: So first conclusion is to optimize for small inputs.  There's not much room for it, I think. For bigger inputs, I think current implementation is bad both ways: a) For sparse cases, simply chain the MxN terms together,

Re: [fricas-devel] definite integral

I guess the problem is limit(Ei(-x),x=%plusInfinity) --> failed https://en.wikipedia.org/wiki/Exponential_integral Even with c:=1: I:=integrate(exp(-x)*log(x),x=eps..1/eps,"noPole") 1 - --- - eps 2eps

Re: [fricas-devel] How one talk to sqlite3 database from Fricas?

https://github.com/nilqed/spadlib/tree/master/sqlite 'Nasser M. Abbasi' via FriCAS - computer algebra system < fricas-devel@googlegroups.com> schrieb am So., 24. Dez. 2023, 03:53: > I googled and could not find hit on this. Is it possible to open SQLITE3 >

<    1   2   3   4