On 04.06.22 04:26, Waldek Hebisch wrote:
On Thu, Jun 02, 2022 at 11:07:06PM +0200, Ralf Hemmecke wrote:
I've just updated my branch
https://github.com/hemmecke/fricas/commits/elt-universalsegment
to be in line with the "intersection of indices" see testcases for
detail.
I do
I've just updated my branch
https://github.com/hemmecke/fricas/commits/elt-universalsegment
to be in line with the "intersection of indices" see testcases for detail.
Ralf
On 02.06.22 20:15, Waldek Hebisch wrote:
If i=1.. or i=1..e describes the indices of a given stream s and u is a
Oh I should have rather exchanged u and i above. That is (informally)
[s.idx for idx in u | idx in expand(i)]
because that would correctly give the order in which the elements are
returned even in the case of c<0 or if u = ((a..) by c).
Informal meaning of 'elt' should be clear. The
Yes. When request type is function type compiler calls
compWithMappingMode which is doing needed magic. In fact,
compWithMappingMode can handle old form of anonymous functions
with '#1', '#2', etc., but those are rejected by the parser.
However, zero argument case still works and is used with
On 01.06.22 21:09, Waldek Hebisch wrote:
Did you ever think why 'delay' with pile works? 'delay' expects
function as an argument, pile as argument produces a value. Why this
works when produced value is _not_ a function?
Oh, good that you come to it. Exactly, I would always have expected
On 31.05.22 22:42, Ralf Hemmecke wrote:
OK. then the design decision is:
If i=1.. or i=1..e describes the indices of a given stream s and u is a
universal segment of the form a..b by c, then s(u) should be
[s.idx for idx in i | idx in expand(u)]
with the obvious meaning of the condition
Well, we had
lazyEval x == (rst(x):(()-> %)) ()
':' was doing what you apparently think that 'pretend' would do.
':' is gone, IIRC 'pretend' failed, so that is why we have SPADCALL...
Oh, we had this? But honestly, I am happy that ':' is gone. When I read
the above line, I wouldn't
Namely, important part of lazyness is that deferred
computation may contain error. In particular, deferred computation
may be created first and only later code may decide that result
is is not needed, thus avoiding error.
OK, then we go for "defer error". The lazy principle means that only
Dear Waldek,
In Stream, I see
-- This description of the rep is not quite true.
-- The Rep is a pair of one of three forms:
--[value: S, rest: %]
--[nullstream:Magic, NIL]
--[nonnullstream: Magic, fun: () -> %]
--[uninitializedstream :
Can you give a congrete example for your "recursion" argument? When elt(st,
a..b by s) comes into play, st must already be defined whether by recursion
or not.
Have you looked how 'seriesSolve' works? It computes coefficient
n using earler coefficients. This means that computation of
On 31.05.22 00:09, Waldek Hebisch wrote:
On Mon, May 30, 2022 at 08:28:03PM +0200, Ralf Hemmecke wrote:
I am not so sure what to do for Stream and n<0.
The result is actually a finite stream, but it would
mean to expand the input stream up to A just to get
the first element of the res
After my commits only the parsing problem with
a.. by s
has to be tackled.
Ralf
On 30.05.22 20:28, Ralf Hemmecke wrote:
I am not so sure what to do for Stream and n<0.
The result is actually a finite stream, but it would
mean to expand the input stream up to A just to get
the fi
I am not so sure what to do for Stream and n<0.
The result is actually a finite stream, but it would
mean to expand the input stream up to A just to get
the first element of the result. Doable, but should
it be implemented, i.e. who would ever use that?
I think that for stream error in case of
We definitely do not want inconsistency here: in all other
places 3..7 by -2 gives empty range.
OK, maybe we should simply say that (for lists)
l(u) gives the same as [l.i for i in u]
l(A.. by n) = l(A..maxIndex(l) by n) if n>0
l(A.. by n) = l(A..minIndex(l) by n) if n<0
n=0 gives error.
I am
Hi,
I am not so sure what semantics we should give to
l(3..7 by -2).
The empty list looks quite natural to me, since
expand(3..7 by -2) is also empty.
Maybe some people would like to see
l(3..7 by -2) = [3,5,7] as a result.
What is your opinion?
Ralf
(62) -> l := expand(1..9)
(62) [1,
Using your code and doing:
s := ((5..14) by 5)@UniversalSegment(Integer)
elt(l, s)
I get expected result. So your code seem to be working OK.
Well, not yet. There are negative stepsizes.
AFAICS 'coerce' between Segment and UniversalSegment
drops increment:
coerce(sg : Segment S) : %
Something weird happens.
When I compile
aggcat.spad from my "fix/elt-universalsegment" branch.
https://github.com/hemmecke/fricas/commits/fix/elt-universalsegment
https://github.com/hemmecke/fricas/blob/fix/elt-universalsegment/src/algebra/aggcat.spad#L2363
It start like this...
elt(x :
On 29.05.22 00:57, Waldek Hebisch wrote:
On Sat, May 28, 2022 at 11:45:26PM +0200, Ralf Hemmecke wrote:
Does anyone know why the original developers did not allow to copy a cyclic
list?
I guess, one could implement a copy that is again a cyclic list.
copy x ==
y := empty
Does anyone know why the original developers did not allow to copy a
cyclic list?
I guess, one could implement a copy that is again a cyclic list.
And there seems to be a misbehaviour. If I construct l2 in the same way
as I construct l below, then
(l=l2)@Boolean
runs forever. Since a
On 28.05.22 17:44, Waldek Hebisch wrote:
On Sat, May 28, 2022 at 02:55:50PM +0200, Ralf Hemmecke wrote:
We also seem to have a bug (although I question that al(1..1)
would be anything useful.
(22) -> AL ==> AssociationList(String, List String)
(23) -> al := empty()$AL
(23) tab
List(OrderedVariableList([a,b,c,d,e,f,g,h,i,j])) (17) -> l(2.. by
2) There are no library operations named BY having 1 argument(s)
though there are 1 exposed operation(s) and 0 unexposed
operation(s) having a different number of arguments.
This is parsing issue.
Is it possible that you can
On 25.05.22 21:47, 'Nasser M. Abbasi' via FriCAS - computer algebra
system wrote:
Fricas uses very old and not recommended \over when it generates latex.
This causes modern compilers such as lualatex to hang when using dmath
environment.
Could the latex be corrected to use \frac{} instead?
I guess
1) the "by 2" should not be ignored.
2) "2.. by 2" should be counted as a correct expression for a
UniversalSegment.
```
(12) -> l := [a,b,c,d,e,f,g,h,i,j]
(12) [a, b, c, d, e, f, g, h, i, j]
Type:
List(OrderedVariableList([a,b,c,d,e,f,g,h,i,j]))
(15) ->
For compiling hunchentoot into FRICASsys, of course, I must bring
configure.ac to tell me whether hunchentoot is available.
Unfortunately, I cannot simply say
echo "(require :asdf)(require :hunchentoot)" | sbcl
in order to figure out whether this works OK, since if it doesn't, then
I am stuck
Agreed.
Ralf
On 20.05.22 21:16, Waldek Hebisch wrote:
One more algebra file to remove: ffx.spad duplicates (small part
of) functionality in ffdoms.spad.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe
Well, the intent clearly was that "printing" produces a bundle
containing step number and value,
The time this method was invented for FriCAS, the people that invented
jupyter where probably not yet born. The idea of having possibly another
UI for FriCAS was not on the screen. "Saturn" was an
I do not see why you are doing this. If you want to call
'saySpadMsg' appropriate io hook should be enough. For
skipping line numbers setting '$IOindex' to NIL should
be enough.
Well, not so easy. ;-) I could probably do this with the ioHook, but
the Jupyter interface also has numbers for
On 04.05.22 03:23, Waldek Hebisch wrote:
On Tue, May 03, 2022 at 11:28:58PM +0200, Ralf Hemmecke wrote:
I am currently working on the jfricas interface.
Unfortunately, there are some rather unsafe elements in it,
I must patch the functions |mathprintWithNumber| and OBEY
https://github.com
On 17.05.22 04:41, Waldek Hebisch wrote:
I consider removal of rdesys.spad and
OK.
cyclotom.spad after release.
Nearly OK.
Instead of cyclotom.spad we have now cyclo.spad which has better
performance (due to better algorithm) and more functionality.
I already use the function
I was actually looking for a simpler way to display 1D output (Format1D).
It can be easily done via
print1D x ==> display((x::OutputForm)::Formatter(Format1D))
Studying whether we can sensibly include such a function into FriCAS
(not the topic of the mail), I stumpled over "PrintPackage".
I was just wondering whether we still need to have the directory
contrib/texmacs in the fricas repo. All these files have
COPYRIGHT : (C) 1999, 2012 Joris van der Hoeven and Andrey Grozin
and fall under GPL3+ and FriCAS is not actually distributing them in the
binary tarballs. I also do not
Ooops, I just see this now.
https://github.com/fricas/fricas/commit/e8f563f69841c07f5db5e4178b20bdfd1d57139f
Cool. Finally we can use an iterate keyword instead of using
condition => "iterate"
with a string.
Thank you, Waldek.
Ralf
--
You received this message because you are subscribed
Use ./configure --with-gmp ...
https://github.com/fricas/fricas/blob/master/configure.ac#L321
See also the installation guide
https://fricas.github.io/install.html#gmp-optional
https://fricas.github.io/install.html#using-gmp-with-sbcl-or-clozure-cl
Ralf
--
You received this message because
On 13.05.22 09:06, Qian Yun wrote:
Also, IIRC, the Sage compiles FriCAS with ecl instead of sbcl.
Well, Sage seems to be smart. I have installed sage via apt-get in
ubuntu 18.04 and no sage package for fricas is installed.
When I type
integrate(sin(x),x,algorithm='fricas')
it gives an
So the way to clear kernel cache is to just pass ")clear all" to
FriCAS. If the unbalanced ")" causes trouble, use "clearCmdAll()$Lisp"
instead.
https://fricas.github.io/api/MoreSystemCommands.html?highlight=moresystemcommand
I thought the preferred non-lispy way is
systemCommand("clear
On 06.05.22 17:45, Dima Pasechnik wrote:
In particular, I tried to install debian etch in a virtual machine.
That worked, but since it showed me every now and then some weired message
about some interrupt in the terminal, I removed that Vbox again.
such building (and uploading of results)
can
Dear Waldek,
is there any description (or better even: a script) of how to create
exactly the binary distribution
https://github.com/fricas/fricas/releases/tag/1.3.7
?
In particular, I tried to install debian etch in a virtual machine.
That worked, but since it showed me every now and then
Main point is that IMO redirection that you want for jFriCAS ATM
should be conditional.
Just very short answer. This is in the current state the case, via
patching OBEY at the time a jfricas notebook is opened (i.e. a new
FRICASsys process is started).
I can perfectly live with having OBEY
Looking into 'sb-ext::run-program' docs shows that 't' means
inheriting standard input, output and error output from current
process, which at least in some cases seem to be right thing.
The current process is FRICASsys. So it goes to the stdout and stderr of
whatever FRICASsys gets. Do I
Not that I care much about BinaryFile, but what was the problem with it?
https://github.com/fricas/fricas/commit/db2dcc5821eb5d7c1e7bd5c03b1656d0aeca5120
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe
On 04.05.22 18:32, Xav Blue wrote:
I didn't try JupyText yet but your FriCAS binaries work fine for me.
Some comments :
- I'm on Manjaro(ArchLinux) and libssl.so... are in
*/usr/lib *
Thanks for trying. I have now also added a section on
http://hemmecke.org/fricas/dist/1.3.7/ that even
(defun OBEY (S)
(sb-ext::process-exit-code
(sb-ext::run-program "/bin/sh" (list "-c" S) :input t
:output *standard-output* :error *standard-output*)))
and would be somehow happy if I wouldn't have to do this.
That looks reasonable. Currently we have 't' which means
I am currently working on the jfricas interface.
Unfortunately, there are some rather unsafe elements in it,
I must patch the functions |mathprintWithNumber| and OBEY
https://github.com/hemmecke/jfricas/blob/master/jfricas/webspad.lisp#L84
;;; Override a FriCAS function in order to remove the
But nothing happens. I do not see anything in my browser. But I can
see that Jupyter is running if I enter
http://localhost:/?token=c5c300794e7855ba2e9e1d32a372041518f27089419dcef2
in the browser. If I logout and then exit (control-C) the Jupyter
session in the terminal, then
Yes, that
Hi Bill,
thank you for your feedback.
On 02.05.22 18:55, Bill Page wrote:
Ralf,
Thanks for this. I tried your installation procedure on my "Linux Mint
19.3 Tricia base: Ubuntu 18.04 bionic" system and everything seemed
to work fine except the installation of JupyText.
After performing the
I am currently recompiling the fricas binary with having
sudo apt remove libssl.1.0.0
But cannot remove libssl.1.1, because that is obviously needed on xubu
18.04 for cl-hunchentoot.
Gosh... that gives (see below...).
It's obviously not that easy to distribute hunchentoot together with
On 02.05.22 18:55, Bill Page wrote:
Ralf,
Thanks for this. I tried your installation procedure on my "Linux Mint
19.3 Tricia base: Ubuntu 18.04 bionic" system and everything seemed
to work fine except the installation of JupyText.
After performing the steps in
* (optional) Install JupyText
Hello,
unfortunately there were some issues at
https://github.com/fricas/jfricas/issues
claiming that jfricas didn't work although it worked perfectly for myself.
Kurt figured out that there were compatibility problems with the
webserver hunchentoot (that was loaded when jfricas started) and
hello
--
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...@googlegroups.com.
To view this discussion on the web visit
I am unable to create a google account in android 9 in a virtualbox
without being forced to give a phone number for an sms.
Actually, the docs at google.com (at least in german) say that the phone
number is optional, but they don't let me continue if I leave the field
empty.
Ralf
On
On 26.04.22 02:47, 'Nasser M. Abbasi' via FriCAS - computer algebra
system wrote:
May be someone can explain how to subscribe to
https://groups.google.com/g/fricas-devel via email
Isn't it what I said yesterday?
https://www.mail-archive.com/fricas-devel@googlegroups.com/msg14458.html
To make
So I asked him privately via email, and he replied that he can't
reply/receive to fricas-devel, because Google wants cell number.
This seems extremely odd to me.
Also to me. Google does not have a phone number from me, in fact,
without a mobile phone I could not even give one. ;-)
Google
On 23.04.22 09:14, oldk1331 wrote:
I wonder if this is what you need:
xset fp rehash
- Qian
I've just tested it in a fresh VitualBox (Xubuntu 22.04). It has no
effect on HyperDoc. :-(
Needs at least restart of xsession or perhaps something else?
Ralf
--
You received this message
Something I don't understand... you claim that retract$TestXDP works in 1.3.5
although retract in XDP is claimed to be not implemented as you show below. How
can that be?
That's the question here :) -- a mystery @moment.
Obviously something where only Wizard Waldek can help. ;-)
Ralf
--
You
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... you claim that retract$TestXDP works in
1.3.5 although retract in XDP
Hi Kurt,
You do not need to create a new domain. It also fails to work with XDP
in the latest master.
Actually, if I am not wrong than "A has C" only tells you that C is
explicitly mentioned in the exports of A, but not whether there is an
actual implementation for C.
(1) -> Expression
xfonts-100dpi
In fact, when I realized the messages, I did install that, but without
rebooting the VM, it took no effect. :-(
Now it's working, but can
sudo apt install xfonts-100dpi
without needing to reboot to have it working for Hyperdoc?
Ralf
--
You received this message because you
x=|FRICAS_PREFIX=\"$L\"\nexport
FRICAS_PREFIX\nexec_prefix=|;s|/usr/local/|$L/|" $L/bin/efricas
"""
I think it would be nice to mention such a $HOME install optionn in
install.rst.
Ralf
On 23.04.22 00:49, Ralf Hemmecke wrote:
Waldek,
will the binary release f
Waldek,
will the binary release from
https://github.com/fricas/fricas/releases
pick up libgmp if it is installed?
Can you put together a script (and commit it to the repo) that generates
fricas-1.3.7.amd64.tar.bz2 ?
Thank you
Ralf
--
You received this message because you are subscribed to
In Xubuntu 22.04 I see
(HyperDoc) Cannot load font
-adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using defaul.
Any hint of what debian package I should install?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system"
There is not one. At least I have never seen a Debian package for latest
Fricas.
Hmmm... not quite true.
https://packages.debian.org/search?keywords=fricas
But I heard that this one is built on GCL. I need one with SBCL.
But it is easy enough to build Fricas from source on Ubuntu.
Well...
On https://github.com/fricas/fricas/releases/tag/1.3.7 I see the source
distribution of FriCAS.
Do we have a FriCAS 1.3.7 debian package (using sbcl) for Ubuntu 20.04
or 18.04?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra
(I didn't receive this message in mailbox, strange...)
Strange indeed. I was also surprised that I didn't get a message from
github when I opened an issue. But maybe the OP doesn't get notified,
which maybe OK.
I searched through source files, and found that riemannZeta
is purely symbolic,
On 13.04.22 18:03, Sid Andal wrote:
The output file type is for Integers and each solution (hundreds of
thousands of them) is tagged with a six-digit integer identifier for
searching and analysis purposes. Leading zeros allow to distinguish
these tags from other integers (the solutions).
Are
Is it possible to write integers with leading zeros into output files? The
write! function seems to strip the leading zeros.
Ehm, I do not immediately see a method. But since that obviously does
not help you, can you help me in understanding what you are trying to
achieve? And it is maybe
Hi Waldek,
Something weird was introduced in
commit 2e4faf4b (Pass more type declarations to Lisp compiler).
Maybe also connected to issue #81 but somewhat more deadly to me than that.
https://github.com/fricas/fricas/issues/81
After compiling the attached program with FriCAS from commit
Hello Waldek,
I have the following domain in my package.
ModularFunctionExpansionsAtCusps(C, cusps): Exports == Implementation
where
C: CommutativeRing
L ==> QEtaLaurentSeries C
cusps: List Cusp
Exports ==> XEtaGradedAlgebra C with
coerce: XHashTable(Cusp, L) -> %
series: (%,
Just a wild guess, perhaps useful: what if you declare a wrapper
package in Spad like so:
QWrapperPackage() == QEtaModularGammaPackage(QEtaConditionsModularGamma0)
And then you could try
)trace QWrapperPackage() )ops qetaGrades
I haven't tried and I will not do so, because it would then be
Doesn't work for me.
(181) -> )trace QEtaModularGammaPackage(QEtaConditionsModularGamma0)
)ops qetaGrades
FriCAS does not understand the use of QEtaModularGammaPackage
QEtaConditionsModularGamma0 here.
Ralf
--
You received this message because you are subscribed to the Google
(181) -> )trace QEtaModularGammaPackage )ops qetaGrades
Parameterized constructors traced:
QETAMGP
But then I get...
(181) -> sspec := cofactInf(nn, rspec, m, t, idxs)
1 #(1 ((1 -1 -1)) NIL)
11 6
I have programmed a function f in some package P, how exactly can I
trace that function. In my case
)trace f
does not work.
(167) -> cuspToMatrix(cusp(0,1))
+0 - 1+
(167) | |
+1 0 +
(168) -> )trace cuspToMatrix
cuspToMatrix is not a function
Nothing is
Obviously that what you want does not exist.
Unfortunately, I am not a user of the Guessing package to be able to
give you a suggestion just so.
To get a rough idea of what you actually want to achieve by
GuessingHelpers it would be very helpful to know what (for example)
the function
> I have an algorithm implemented in both Fricas (Spad) and in C++. The
> C++ code turns out to be 13 to 14 times faster than Spad, and a single
> call can last arbitrarily many minutes, depending on the parameters.
> Thus I would prefer to use the C++ implementation in the rest of my
> Fricas
On 11.12.21 11:39, Neven Sajko wrote:
> It seems like there's no domain for arrays with an arbitrary number of
> dimensions? Why is that so? Should such a domain be added?
Are you sure? That none of the domains listed here does exactly that
what you want?
> Suppose there's a function like this:
>
> f(a, b, c, g) == vector([matrix([[g(i, j, k) for k in 1..c] for j in
> 1..b]) for i in 1..a])
>
> And then if I try to do something like this:
>
> f(2, 3, 5, (i, j, k) +-> i * j * k) + f(2, 3, 5, (i, j, k) +-> i + j + k)
>
> or this
>
> f(2, 3, 5,
Neve,
to save you some time... see attachement.
BTW, look at the first 4 values in the result below.
Unfortunately, I do not see how one can extract from the result from
which point on it is valid. In fact, I find it a bit strange that it
doesn't agree at the beginning, but seemingly Martin
Hi Neven,
> Suppose I have code like this:
>
> l := [44, 178, 412, 746, 1168, 1669, 2260, 2941, 3712, 4573, 5524, 6565]
> guess(l).1
>
> Replacing the "guess" with a "guessRat" is essentially the same thing AFAIU.
>
> The above code returns a value of type Expression(Integer) that
>
> It seems Fricas is similar to Python in this, in that it uses spaces and
> indentations for when a construct end.
Right.
> I do not like this myself. I think having an explicit *end* make the code
> and the algorithm more clear, instead of just depending on using spaces.
I am actually on
> I'm not aware if there are better ways to do file I/O in fricas.
Maybe not better ways, but if you just complain and do not say what
exactly you want, I do no longer waste my time in trying to help you.
> I have a large script that does many algebraic calculations and then
> outputs the
Why do you think it is wrong?
https://github.com/fricas/fricas/blob/master/src/algebra/files.spad#L132
Honestly, I could not judge this. The docstring for write!
http://fricas.github.io/api/FileCategory.html#l46696c6543617465676f7279-777269746521
is not very precise.
The only thing you can
On 23.11.21 21:47, Sid Andal wrote:
> When I try to run the code from the attachment I get the following
> error:
Oh, I am sorry. My editor still held an unsaved version.
> seems to be working with the following line:
>
> fricas -nosman < file.input > /dev/null
>
> then the file.out contains
> When I run the "fricas -nosman < file.input" I get the above output (the
> sol vectors) and the extra stuff at the end; those numbers in parenthesizes
> and arrows.
Are you sure? Note that I run
fricas -nosman < file.input
and you actually run
fricas -nosman < file.input > file.out
On 23.11.21 20:48, Sid Andal wrote:
> Here's a sample of the file.input:
> And the file.out:
OK. And what do you actually want as output?
Would you be accept a little shell or perl script to work on the output?
In fact, when I run
fricas -nosman < file.input
then file.out is
> Tried the suggested output format settings and the system-generated
> messages still appeared following the solutions. I'm not sure why the
> "write!" function is so rigid and inflexible not allowing some basic
> formatting!
Sorry to say, but you have not given any input and no exact
> Tried running the fricas in batch mode as following:
> fricas -nosman < file.input > file.out
I remember that I used something like
echo ")read file.input" | fricas -nosman > file.out
But that changes only whether the input commands will be printed or not.
> Is there a way to suppress all
Couldn't we have a ")quiet" option to the )library command?
Currently FriCAS tells me about loading and exposing all the constructors.
A simple hack is
)lisp (DEFUN |sayMSG| (|x|) ())
)library ...
)boot sayMSG(x) == sayBrightly1(x, get_algebra_stream())
but also that prints something.
It is
Hi,
> The current BOOT code is, for the most part, able to be rewritten in
> a language called Icon (or its descendant Unicon).
Well, replacing one unfamiliar language by another isn't something we
are currently looking for. Of course, since everything is open-source
and you have time to spare,
Hi,
> I was looking at reimplementing the boot code in another language,
If BOOT goes away that would be good. We aim rather into the direction
of rewriting it into SPAD than LISP. But it is not a priority.
> I think I'll stick with my first plan of just dealing with the Aldor
> compiler.
Oh.
No idea, but perhaps this thread says something about your problem.
https://groups.google.com/g/fricas-devel/c/cb5kiHpKaoE/m/8jYBLoXKEQAJ
Can you confirm that you had X installed before you compiled FriCAS
since otherwise the compilation will just skip building all the
X-related programs. Check
> This raises the question, why is FiniteField(p,n) not convertible to
> Integer? I mean is it just an omission?
I would like to say, I leave this to you as an exercise. ;-)
Of course, conversion can "somehow" be done.
For PrimeField the conversion is quite natural, but how would you
convert
Hi Neven,
On 07.10.21 22:30, Neven Sajko wrote:
> I'm playing around with the Guess packages, but when I wanted to try
> out GuessFinite I got errors like this:
>GuessFinite(InnerFiniteField(2,1)) is not a valid type.
> or
>GuessFinite(FiniteField(2,1)) is not a valid type.
> when I give
Ignore! It is just a test whether I still can send to fricas-devel.
Ralf
--
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
> Maxima folks were unable to compute anwer and "explained" that
> this system is too complicated and one should not expect answer
> from computer. In FriCAS on my machine it takes 9.5 seconds
> (answer takes several screens). In the past I did some
> experiments with Sympy and largish linear
>> https://mathics.org/
> I wonder what impressed you? I recently looked at available parsers
> for Mathematica syntax. In the process also took a quick look at
> Matics. I was unimpressed.
I am not saying that Mathics is better than FriCAS. Probably not.
However, the website looks more
Not that I ever used Mathics, but I find the way they present themselves
impressive.
https://mathics.org/
Obviously, the poster of this message
https://groups.google.com/g/sage-devel/c/XJUnM4HEUG4/m/LXUU2iLdAAAJ
found another project to invest his time and efforts.
Ralf
--
You received this
> 1. On what level are recursive definitions a problem?
I don't think they are a problem for the spad compiler. Also the
dependent type stuff should work fine. (Something that doesn't work in
most languages.) But in some sense it looks ugly
from the design point of view. This kind of mapping from
On 07.08.21 18:41, Neven Sajko wrote:
> The title basically says it all. I am referring to the lack of
> appropriate coerce or convert operations that make it impossible to
> convert the simpler type to the more complex type with only :: in Spad
> code.
The interpreter guesses what you want, when
On 07.08.21 17:04, Neven Sajko wrote:
> Hello,
>
> I just used the command
> )display operation integrate
> and among the 20 exposed functions, last in the listing, are quite a
> few functions with type signatures like:
> D -> D from D
>
> My goal was to find in which packages or domains can the
On 07.08.21 11:52, Neven Sajko wrote:
> Hello,
>
> I have a certain Taylor series (uts) that I'd like to integrate over a
> certain variable (sym).
>
> Uts is of type UnivariateTaylorSeries(Expression(Integer),eps,0).
>
> Sym is just 'sigma::Symbol.
>
> I checked that the problem is not in the
To see an example where domain variables are set, see here.
https://github.com/fricas/fricas/blob/master/src/algebra/fmt.spad#L1596
https://github.com/fricas/fricas/blob/master/src/algebra/fmt.spad#L1678
You should decide on the return type according to your wishes. Sometimes
it is interesting
401 - 500 of 3020 matches
Mail list logo
