Below are some 'losses' I encounter when compiling (older) code from other
people:
OrderedFreeMonoid
FreeAbelianMonoidCategory
InnerFreeAbelianMonoid
FreeAbelianMonoid
FreeAbelianGroup
Monad was renamed to Magma
Magma was renamed to FreeMagma
lo => low
hi => high
VectorSpace ;)
Usually, some ma
When we add Join(finiteAggregate) it works; strange isn't it. Why?
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
Exports == Join(finiteAggregate) with
foo: () -> Boolean
Implementation == add
foo(): Boolean ==
a: List List Integer := empty()
b: List List
After some thinking I don't find it so strange anymore that adding
'finiteAgggregate' is a remedy. The domain FOOX (only one List) works without
this because S=Integer, whereas in FOO we have S=List Integer where some info
may be get lost in the recursion.
ListAggregate(S : Type) : Category == Joi
>
> The problem is not the conversion to TeX, but rather a strange way of
> storing that in OutputForm.
>
> (12) -> (eq1 :: OutputForm) pretend SExpression
>
>(12) (= ((PRIME f ",,,") x) (^ x n))
>
You're right, of course. The root of all evil (not all, though) in TEX is found
in OUTFORM.
On 28.02.2020 17:58, Waldek Hebisch wrote:
> On Thu, Feb 27, 2020 at 10:41:32PM +0100, Kurt Pagani wrote:
>>
>> The second issue concerns big files (compile or read doesn't matter):
>>
>>
>> --ECL
>> -- (1) -> )r bigfile
>> --
>> --
Thanks for the hint. Actually this was discussed several times in the forum:
https://groups.google.com/forum/#!searchin/fricas-devel/dynamic-space-size%7Csort:date
Nevertheless this might be always an option, as a last resort ;)
If it could be fixed in the code, however, then it should be done.
Good :)
BTW I compiled yesterday the current rev (fresh clone). I guess the version
dates (2018) were already wrong in the last release (1.3.5 / 3 February 2019;
according to https://en.wikipedia.org/wiki/FriCAS)? Or asked differently, is
there a special policy?
FriCAS Com
I heard rumours about problems installing GMP on MacOS, so the question is
whether it's installed on your machine at all? Basically I would expect an error
message when using --enable-gmp if GMP wasn't installed, but who knows?
https://gmplib.org/macos.html
maybe you'll find it with: pkgutil --pkg
There must be something wrong :( The digits(15000) -> 0.686467020... can't be
true. Even with intervals: setting digits gives wrong results. BTW Julia and CL
confirm more or less -0.94..
(1) -> IFL==>Interval(Float)
(2) -> interval(1.461920290375737576933544899379e+31)$IFL
(2) [0.1461920290_
On 13.03.2020 22:47, Neven Sajko wrote:
> On Fri, 13 Mar 2020 at 21:38, Kurt Pagani wrote:
>>
>> There must be something wrong :( The digits(15000) -> 0.686467020... can't be
>> true. Even with intervals: setting digits gives wrong results. BTW Julia and
>&g
Usually ")read" can also read a lisp file (provided it ends in *.input):
$ cp TMFORM.lsp TMFORM.input
)read TMFORM
...
No guarantee, though ;)
On 29.03.2020 20:04, Grégory Vanuxem wrote:
> Hello here,
>
> I'm trying to spot a bug in my MSYS2/MinGW configuration, the build process
> shocks on
s pure Lisp whereas the )read command expects FriCAS interpreter
> language.
> So no success of course ;)
>
> Greg
>
> Le dim. 29 mars 2020 à 20:12, Kurt Pagani <mailto:nil...@gmail.com>> a écrit :
>
> Usually ")read" can also read a lisp fi
FriCAS interpreter
> language.
> So no success of course ;)
>
> Greg
>
> Le dim. 29 mars 2020 à 20:12, Kurt Pagani <mailto:nil...@gmail.com>> a écrit :
>
> Usually ")read" can also read a lisp file (provided it ends in *.input):
>
> $ cp
Although I'm not a lisp expert nor exactly understand the goal, I suggest
combining "mathprint" with the FORMAT function (~%: newline):
(1) -> print(x) == (mathprint(x)$Lisp; FORMAT('T,"~% ~% ~%")$Lisp)
(2) -> print3(x^n+2::OutputForm)
Compiling function print3 with type OutputForm -> SExpres
Maybe this is what you're looking for?
http://fricas-wiki.math.uni.wroc.pl/SandBoxPQTY?root=SandBox
deprecated, but should work:
https://github.com/nilqed/PhysQty
https://nilqed.github.io/PhysQty/ (doc)
latest:
https://github.com/nilqed/spadlib/tree/master/pqty
https://github.com/nilqed/spa
FreeBSD migt be tricky regarding to UTF-8. Apparently "alpha" appears as
U+00B1 (PLUS-MINUS SIGN) in FriCAS. There must be some mismatch. Perhaps
setting LC_COLLATE=C will help?
"""
FreeBSD, like many UNIX-based operating systems, is unfortunately not configured
to use UTF-8 by default. This somet
like a difference between 1.3.5
> and
> 1.3.6.
>
> Kostas
>
>
> On 10/24/20 1:50 PM, Kurt Pagani wrote:
>> FreeBSD migt be tricky regarding to UTF-8. Apparently "alpha" appears as
>> U+00B1 (PLUS-MINUS SIGN) in Fr
ot; (code-char 945))
> α
> Value = NIL
> (1) ->
>
> With fricas 1.3.6:
>
> (1) -> )lisp (code-char 945)
> Value = #\GREEK_SMALL_LETTER_ALPHA
> (1) -> )lisp (code-char 177)
>
> Value = #\PLUS-MINUS_SIGN
> (1) -> )lisp (format t "~a&qu
On 29.10.2020 18:30, Bill Page wrote:
>
> By )gnuplot are you suggesting a new command in FriCAS with this name?
Not really. In jfricas there are some fake system commands, ")python" for
instance, which are captured and handled by the ipython interpreter. One such
command was (deactivated at the
QETARKA -->
Warnings:
[1] findRelation: not known that (UnivariateLaurentSeriesCategory C) is of
mode (CATEGORY domain (SIGNATURE coerce ($ (Variable (QUOTE q (SIGNATURE
differentiate ($ $ (Variable (QUOTE q (IF (has CX (Algebra (Fraction
(Integer (SIGNATURE integrate ($ $ (Var
Strange, indeed. The CATs seem to be ok.
When taking minrootpol and CX out of the body of f2, the it works.
)abbrev package BAR Bar
Bar(C: IntegralDomain): with
f1: () -> Void
f2: () -> Void
== add
minrootpol: SUP C := monomial(1,2)$SUP(C) + 1
CX:=SimpleAlgebraicExtension(C, SU
On 04.11.2020 11:47, Ralf Hemmecke wrote:
> On 11/4/20 12:05 AM, Kurt Pagani wrote:
>> Strange, indeed. The CATs seem to be ok.
>> When taking minrootpol and CX out of the body of f2, the it works.
>
> OK, good to know, but I don't think it will help me since in fact,
The strange thing is, that *now* there's no need to get the macros out of the
body ;) Hence, I guess the problem is related to type coercion. If you could
rewrite the macros to local functions (w. types), e.g. minrootpol(X:Type):?,
then ... maybe.
f2(): Void ==
minrootpol(X) ==> monomia
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:
> May
>>
>> Since (AFAIK) there is no graphics library for CL, I see no alternative other
>> than resorting to an external tool - nobody will write a lib from scratch ;)
>
> there is no graphics in CL standard, but you certainly have plenty of
> choices to pick
> CL bindings to various graphics librarie
On 24.03.2021 13:20, Andrey G. Grozin wrote:
> On Tue, 23 Mar 2021, Ralf Hemmecke wrote:
>>> Or send stuff to plot to gnuplot (that's what Maxima does)
>> Would be an idea, but the original AXIOM developers obviously had some
>> interaction (dynamic graphic) in mind. Not sure whether that would wor
On 23.03.2021 20:41, Bill Page wrote:
> On Tue, Mar 23, 2021 at 2:01 PM Ralf Hemmecke wrote:
>>
>>> Now, if we could only include the Jupyter interface in the
>>> FriCAS distribution
>>
>> Well, yes, but, although I would like to see this offered, doing it
>> the pip way or via installation from t
ups inherits from IndexedProductCategory(A, S)
leadingTerm: % -> Record(k: S, c: A) if S has Comparable
leadingTerm(x) returns the leading (with respect to the ordering on the
indexing set) term of z. Error: if z has no support.
EI has Comparable -> true, but I guess there is no support in IP
> I think also the web API could be improved. For example when I started using
> FriCAS I didn't realize that
> a lot of functions have descriptions, but only when it track them back to the
> category where
> they are defined. So
> on https://fricas.github.io/api/UnivariatePuiseuxSeries.html you d
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 wo
}(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:
>> Mayb
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 @ Matrix(Integer
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, oth
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 t
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 type
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
>
On 02.05.2021 17:29, Bill Page wrote:
> Ralf's proposed patch for FormatMathJax allows much more than just support of
> Unicode-like symbols. There are many cases when one might want to use a small
> but otherwise arbitrary LaTeX fragment as a more sophisticated way to
> represent
> some symbol.
On 03.05.2021 18:09, Bill Page wrote:
> If it is necessary to consider alternatives, then I think one other approach
> would be to export a function that sets a "presentation" property on a Symbol
> and then make use of that property (if it exists) and if the flag is set in
> FormatMathJax. The ben
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 An
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 alg
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)
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) -> [x,y]:=[s::XDistributedPolynomial(Symbo
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... y
am looking 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 imple
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 interfa
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 over
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
>
> Th
On 20.07.2022 15:50, Qian Yun wrote:
>
>
> On 7/20/22 21:38, Waldek Hebisch wrote:
>>> Well, I'm surprised by the high number of windows binary download.
>>> (Of course, most Linux users get FriCAS from distro's package manager.)
>>
>> There were no Windows binaries in several years. So probab
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 sc
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
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 i
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
> https://
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 kno
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
apprec
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
rsday, 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: whe
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 1
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 wo
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 Java
ing is done in the same Python
script, all 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
4582
Total number of intergrals
sqlite> select COUNT(*) from main;
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, th
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, so
301 - 362 of 362 matches
Mail list logo