Another example:
https://www.nature.com/articles/s41586-023-06747-5
On Wed, Jan 17, 2024 at 10:56 AM Waldek Hebisch wrote:
> …
> One more thing: early in history of AI there was Eliza.
> It was simple pattern matcher clearly having no inteligence,
> yet it was able to fool some humans to
On Sun, 26 Nov 2023 at 09:15, Waldek Hebisch wrote:
>
> Attached is code defining Greek symbols organized as a package.
>
> Note: ucodeToString takes Unicode code point as argument, so
> I had to decrease all character codes by 1 (index used in
> original code adds 1).
>
> Extra remark: Some
Note that in English one would normally write: "built with" (past tense,
irregular) instead of "build with"
On Sat, Nov 25, 2023, 5:34 PM Waldek Hebisch, wrote:
> I have now added detecte Lisp flavour and version to the
> banner, like:
>
>Version: FriCAS 2023-06-17 build with sbcl
(1) -> f:=differentiate(complexNormalize(log(tan(%pi/2*tanh(x,x);
Type:
Expression(Integer)
(2) -> output lines(formatExpression(f)$Format1D).1
(-8*%pi*(%e^x)^2*%e^((%pi*sqrt(-1)*(%e^x)^2+(-%pi)*sqrt(-1))/((%e^x)^2+1)))/(
>From FriCAS wiki
http://fricas-wiki.math.uni.wroc.pl/FrontPage
there is a variant of the original Axiom icon.
On Sat, 20 Aug 2022 at 10:13, Ralf Hemmecke wrote:
>
> > But what I really think is that a real logo, a figure, a drawing etc.
> > should be used with the name of FriCAS (in the
omething to do with implicit
declarations and external function calls.
https://github.com/fricas/fricas/issues/59
Does anyone have any suggestions on what to try?
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" grou
uot;
HOME_URL="https://www.linuxmint.com/;
SUPPORT_URL="https://forums.linuxmint.com/;
BUG_REPORT_URL="http://linuxmint-troubleshooting-guide.readthedocs.io/en/latest/;
PRIVACY_POLICY_URL="https://www.linuxmint.com/;
VERSION_CODENAME=una
UBUNTU_CODENAME=focal
On Fri, 17 Jun 20
When I do this
wspage@ASUS:~/Desktop$ echo 100 | sudo tee /proc/sys/kernel/ns_last_pid
and then run fricas I get
wspage@ASUS:~/Desktop$ fricas
debugger invoked on a SIMPLE-ERROR in thread
#:
Error opening shared object "libssl.so.1.0.0":
libssl.so.1.0.0: cannot open shared object file:
On Mon, 2 May 2022 at 15:28, Ralf Hemmecke wrote:
>
> 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: Ubu
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
when I run
jfricas $FDIR/foo.input
I haven't done this is a long time but you could try sending an email like this:
---
To:
Subject: subscribe
subscribe
---
On Mon, 25 Apr 2022 at 20:48, 'Nasser M. Abbasi' via FriCAS - computer
algebra system wrote:
>
> May be someone can explain how to subscribe to
>
isit
> https://groups.google.com/d/msgid/fricas-devel/25f37615-32ea-1ca5-5204-83a81ee3e0b2%40gmail.com.
You can notice above the postscript that Google Groups adds when
sending group postings by email. I never use the link to "view this
discussion on the web".
Regards,
Bill P
Do not use _ at the end of the first line.
fsol(a: List LZ, b: LZ): LZ ==
x := solve(a :: SquareMatrix(3, F), b :: VF).particular
if x case VF then x :: LZ else [0,0,0] :: LZ
On Wed, Dec 1, 2021 at 2:25 PM Sid Andal wrote:
>
> The following file contains:
>
> mysolv.input
>
> F
On Thu, Nov 25, 2021 at 12:14 PM Sid Andal wrote:
> The question was very clear and self explanatoryI asked how to output
> a string into a file without the leading "1." and without the double quotes.
>
(1) -> )sys cat test.input
f : TextFile := open("test.out", "output")
writeLine!(f,
se
correct the problem?
Thanks.
Bill Page.
PS. I am sorry to send this to the email list but several earlier
messages sent to Waldek's personal email address have so far gone
unanswered.
-- Forwarded message -
From: Cron Daemon
Date: Mon, Oct 18, 2021 at 9:19 PM
Subject: Cron
You might find the following useful:
(1) -> name(xx)
(1) xx
Type:
Symbol
(2) -> new()
(2) %A
Type:
Symbol
(3) -> new()
(3) %B
Waldek wrote:
> It still uses order to find positions in kernel cache.
Although order is at least to some extent arbitrary, it is still
necessary for the ordering to be consistent during a session to
satisfy category 'Comparable'.
On Thu, Aug 26, 2021 at 5:22 AM Qian Yun wrote:
>
> Most time
On Mon, May 3, 2021 at 1:19 PM Kurt Pagani wrote:
>
> 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
>
tter
would have a choice as to whether to use the presentation property string
or not.
On Sun, May 2, 2021 at 3:02 PM Waldek Hebisch
wrote:
> On Sun, May 02, 2021 at 11:29:44AM -0400, Bill Page wrote:
> > Ralf's proposed patch for FormatMathJax allows much more than just
> support
>
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 Sun, May 2, 2021 at 10:00 AM Ralf Hemmecke
On Sat, May 1, 2021 at 8:29 AM Ralf Hemmecke wrote:
> ...
> After this patch a symbol name that starts with \ is directly handed to
> the output unaltered so that it can be interpreted by MathJax.
>
>
+1
> Comments are welcome.
>
> If I do not hear something, I will commit it next Tuesday.
>
>
On Mon, Apr 19, 2021 at 3:26 PM Waldek Hebisch wrote:
>
> On Mon, Apr 19, 2021 at 08:33:02AM +0200, Ralf Hemmecke wrote:
> > ...
> > I definitely want install.rst on the web and showing a plain text file
> > on an otherwise sphinx-generated site would look very unprofessional.
>
> .rst pretending
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 the github repo, is easy
> enough for early
On Tue, Mar 23, 2021 at 3:57 AM Ralf Hemmecke wrote:
>
> On 23.03.21 02:31, Bill Page wrote:
> > So now I have a link on my desktop that starts a local copy of the
> > api. Great.
>
> Great. It look as if I got a first user for this feature. ;-)
> Thanks for ta
OK, after enabling postscript generation in ImageMagick, loading some
missing TeXLive packages and installing Sphinx 'make localdoc'
succeeded. I am able to access the result from
$ firefox file:///home/wspage/fricas-build/src/doc/html/index.html
So now I have a link on my desktop that starts a
On Mon, Mar 22, 2021 at 9:59 AM Bill Page wrote:
> ...
> I will attempt to build the api locally and let you know what I find.
>
> Thanks.
On Mar 19, 2021, 6:01 PM Ralf Hemmecke wrote:
> Bill Page wrote:
> > HyperDoc: almost every time I use FriCAS. I do often wish
On Sun, Mar 21, 2021 at 10:29 AM Ralf Hemmecke wrote:
>
> On 21.03.21 15:00, Bill Page wrote:
> > On Sun, Mar 21, 2021 at 8:25 AM Ralf Hemmecke
> > wrote:
> >> ... The only thing (in my eyes) that HyperDoc can do and
> >> http://fricas.github.io/api does
On Sun, Mar 21, 2021 at 1:51 PM Ralf Hemmecke wrote:
> ...
> We should rather say that it is OK to just fork FriCAS and try own
> ideas and come back and convince the main developers to include
> new (better) code if it is ready and removes some deficiencies of
> FriCAS.
I think this is an
That is exactly the reason why I use HyperDoc in almost every FriCAS session.
> If this feature is provided in another way, then we could
> slowly let HyperDoc rest in peace.
>
The user interface level of HyperDoc could be entirely replaced by a
conventional browser but the navigation of the
On Fri, Mar 19, 2021 at 5:07 PM Ralf Hemmecke wrote:
>
> Actually, I would be interested in a poll that asks how many of
> our users ever use the graphics facilities of FriCAS. A similar
> poll for the use of HyperDoc would also be fine.
> Someone here on the list who would answer these
On Sun, Dec 6, 2020 at 4:59 AM Ralf Hemmecke wrote:
> >> ...
> >> ATM our handling of kernel cache is unsound. Basicaly, kernel
> >> cache assumes order and in fact there are no consistent order
> >> on kernels.
>
> Why does Kernel need an order at all?
>
Ordering for kernels is important from
The elements of DirectProduct are intended to be immutable
mathematical values, i.e a "tuple" in a n-tuple product, not a data
container.
On Sat, Oct 31, 2020 at 9:29 AM Neven Sajko wrote:
>
> Thank you for your insight, Bill.
>
> Does somebody know why does DirectProduct not have setelt! and
On Fri, Oct 30, 2020 at 12:46 PM Martin Baker wrote:
>
> On 29/10/2020 21:10, Neven Sajko wrote:
> > My guess would be that it would be better if Vector's constructor
> > had a length parameter, because that would enable greater type
> > safety (i.e. I couldn't pass a Vector of the wrong length
Two problems: First, unlike the interpreter, SPAD does not have
multiple assignment. The error message about "compColon" is the
compiler's poor way of trying to say that. Secondly, the DirectProduct
domain does not have a direction coercion from (...) tuple, List or
other similar domain. You need
Checkout the DirectProduct domain. Granted, this name might not be so obvious.
In a computer algebra system like FriCAS the name "Vector" should
probably be reserved for something with specific mathematical
properties. e.g. as in differential geometry.
But I think that there are some good
Thanks for taking the bait! :-)
On Thu, Oct 29, 2020 at 12:11 PM Kurt Pagani wrote:
> ...
> https://fricas.github.io/api/GnuDraw.html?highlight=gnudraw
>
> It seems to be the only method at the moment (besides the built-in "draw")
> that can reliably produce graphics using fricas data. It is
TeXmacs - or some other similar graphics plugin?
I think Kurt and Ralf are/were thinking of something like this for the
FriCAS Jupyter interface.
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To
for FriCAS.
Bill Page.
On Mon, Oct 26, 2020 at 6:43 PM Kostas Oikonomou
wrote:
>
> Thanks to everyone who helped resolve this problem.
>
> As an aside, if anyone wants to try the latest TeXmacs, there are
> *static* binaries for Linux now available, which should make the
> ins
On Fri, Oct 23, 2020 at 6:20 PM Kostas Oikonomou
wrote:
> ...
> How do you actually type the 'α'? I switch my keyboard to Greek layout.
>
I just cut-and-paste from the email. I also use a desktop app called
"Character Map" which is more general but more awkward.
Can I assume that you
>Line 1: α
> .AB
>Error A: Improper syntax.
>Error B: The character #\PLUS-MINUS_SIGN is not an FriCAS character.
> 2 error(s) parsing
>
> (1) ->
>
> Bill, are you using 1.3.6?
>
> I also tried
>
> fricas -clefprog rlwra
On Thu, Oct 22, 2020 at 3:19 PM Ralf Hemmecke wrote:
>
> It doesn't use -nosman, but basically it does, because it calls
> FRICASsys directly. But I am not sure whether that actually
> means that it doesn't use clef.
>
In that case it definitely does not use clef.
>
>
Try starting fricas like this:
$ fricas -noclef
Doing this avoids the command line problem for me.
"clef" is the old Axiom alternative to readline and is still used by
default. Of course without clef (and without building FriCAS especially to
support readline) you lose the usual command line
(1) -> v:=operator('v)
(1) v
Type:
BasicOperator
(2) -> m*a=-m*g-k*v(t)
(2) a m = - k v(t) - g m
Type:
Equation(Expression(Integer))
(3) -> subst(%% 2, a=differentiate(v(t),t))
On Fri, Mar 20, 2020 at 12:24 PM oldk1331 wrote:
>
> Hi, what's your opinion on CI and bug tracker (in github)?
>
+1 and +1
--
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
On Fri, Mar 20, 2020 at 10:11 AM Waldek Hebisch
wrote:
>
> Fricas is now using Git. Former mirror at Github is
> now official repository:
>
> https://github.com/fricas/fricas
>
Great. Thank you.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer
To ensure that the last line of output is written to the file you
should include the following two commands at the end of the input
file:
)set output algebra console
)quit
On Tue, Mar 10, 2020 at 8:11 PM Bill Page wrote:
...
> )cd /tmp
> )set output algebra on
> )set outpu
Perhaps you meant to write:
)set output algebra off
)set history off
)set messages prompt none
)set messages startup off
)set messages type off
)set messages any off
digits 1
outputFloating 25
outputSpacing 0
cbrt: (Float) -> Float
erfc: (Float) -> Float
log1p: (Float) -> Float
cbrt(x) ==
On Sat, Feb 29, 2020 at 11:02 AM Dima Pasechnik wrote:
> ...
> The projects that stick to cvs or svn suffer,
> as cvs and svn are legacy tools, and forcing
> it on contributors is counterproductive.
>
+1 for git. Please.
--
You received this message because you are subscribed to the Google
There is a debugging message generated when one browses an operation
in hyperdoc and then clicks on Origins. The output is a Lisp
s-expression generated by the following line in
src/interp/br-op1.boot:
359 SAY(["dbGatherData", data])
On Mon, Nov 11, 2019 at 4:53 PM Ralf Hemmecke wrote:
>
> On 11/4/19 11:24 PM, Prof. Dr. Johannes Grabmeier privat wrote:
> > Hi all,
> > I have enhanved TwoDimensionalArray to include arithmetic for block
> > matrices and have an operation array2 (similar to matrix for Matrix) for
> > easy
On Sun, Feb 3, 2019 at 11:09 AM Waldek Hebisch wrote:
> ...
> Notable changes (compared to version 1.3.4):
>
> - Added free noncommutative field.
> - Added factorization in free algebra.
> - Improved coercion to InputForm.
> ...
> - Fixed input form of formal derivatives.
> - Fixed coercion of
On Wed, Jan 30, 2019 at 5:58 AM oldk1331 wrote:
>
> On 1/30/19 5:13 PM, Ralf Hemmecke wrote:
> ...
> > In fact, it keeps confusing me.
> >
> > In Aldor, if write something like
> >
> > foo: % == [1, empty()]
> > bar(): % == [1, empty()]
> >
> > then in the use of bar() I would expect a new
In a recent version of FriCAS ih HyperDoc click Browse, enter XPOLY
and click Constructors, then click Exports. HyperDoc displays:
"For some reason the page you tried to link to cannot be formatted."
On the console the following output appears:
(1) ->
>> System error:
The value
T
is
Waldek,
On Sat, Nov 10, 2018 at 12:02 PM you wrote:
>
> One update to what I wrote before. In
>
> J. P. Bell, A. Heinle, and V. Levandovskyy,
> On Noncommutative Finite Factorization Domains,
> Trans. Amer. Math. Soc. 369 (2017), 2675-2695
>
> there is proof of finite number of factorizations.
>
That looks great!
As a performance test I tried this:
(79) -> h2323:=((h2*h3*h2*h3)^2);
Type:
XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Fraction(Integer))
Time: 0.00 (IN) + 2.71 (EV) + 0.00 (OT) = 2.71 sec
(80) -> dc_fact h2323
(80)
> > On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch
> > wrote:
> > ...
> > >
> > > I have now implemented the lift part of Davenport-Caruso method.
> > > You fetch code at:
> > >
> > > http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input
> > >
On Sat, Nov 10, 2018 at 9:08 PM Bill Page wrote:
>
> On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch
> wrote:
> ...
> >
> > I have now implemented the lift part of Davenport-Caruso method.
> > You fetch code at:
> >
> > http://www.math.uni.wroc
On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch
wrote:
...
>
> I have now implemented the lift part of Davenport-Caruso method.
> You fetch code at:
>
> http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input
> http://www.math.uni.wroc.pl/~hebisch/fricas/nc_ini04c.input
>
> As before,
,x5]),Integer))
Time: 0.00 (IN) + 15.93 (EV) + 0.03 (OT) = 15.96 sec
but as Waldek noted 'factor(h3*h3)' does not complete in reasonable time.
On Wed, Nov 7, 2018 at 8:55 AM Bill Page wrote:
>
> On Wed, Nov 7, 2018 at 8:37 AM Ray wrote:
> > ...
> > So
On Wed, Nov 7, 2018 at 8:37 AM Ray wrote:
> ...
> So homo_fact((x^2-y^2)^2)
> would succeed?
>
Yes.
(66) -> homo_fact((x^2-y^2)^2)
22 22
(66) [- y + x , - y + x ]
Type:
List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
On Tue, Nov 6, 2018 at 5:32 PM Bill Page wrote:
>
> On Tue, Nov 6, 2018 at 8:35 AM Waldek Hebisch
> wrote:
>
> > Since nobody seems to be interested in coding Davenport method
> > I did that.
> ...
> (111) -> homo_fact((x^2-1)^2)
>
> 2
On Tue, Nov 6, 2018 at 8:35 AM Waldek Hebisch wrote:
>
> > earlier patch. Here is a revised patch that corrects this problem.
> > (Only one additional change at the beginning.)
>
> I have tried:
>
> h3 := x*y*z - x*z*y + z*x*y - z*y*x + y*z*x - y*x*z
> factor(h3*h3)
>
> and after about hour I
On Sun, Nov 4, 2018 at 8:03 AM Waldek Hebisch wrote:
...
>
> > enough. The following patch corrects this problem:
>
> Before the patch
>
> f101 := (x*z - z*x)^2 - 2
>
> was immediately recognized as irreducible. With the patch I did not
> get answer for several minutes (may be I am not patient
You could try 'Mathaction2Input' described very briefly here:
http://axiom-wiki.newsynthesis.org/FriCASContributions
This script converts the source text of a mathaction (FriCAS Wiki)
page containing text, FriCAS interpreter commands, SPAD, and Aldor
library code to a form that can be
On Wed, Oct 24, 2018 at 5:05 PM Waldek Hebisch wrote:
>
> If you could find solution _in the fraction field_ then
> the method would be fine. However, in general finding
> rational solutions to polynomial system of equations is
> uncomputable.
Can you suggest a reference? I could not find this
> On 10/22/18 9:55 AM, Waldek Hebisch wrote:
> > I looked at noncommutative factorization code and AFAICS
> > 'xdpolyf1.spad' has serious problem. One example is:
> >
> > (58) -> factor((x^2 - 2)*(y - 1)*(x - 1))
> >
> > 22 32
> >(58) [- 2 + 2
Maybe this would help:
http://axiom-wiki.newsynthesis.org/ManipulatingExpressions
On Mon, Oct 1, 2018 at 2:01 PM Slawomir Kolodynski wrote:
>
> Thank you for looking into this.
>
> >Instead, various routines analyze structure of expressions using lower level
> >operations.
>
> Could you give
the testing if you want;
> I promise to put up Schrempf's test fixture on git hub today.
> It has improvements in reporting but there is something I want
> to add later.
I still think a comprehensive testsuite for FDALG and related domains
would be a valuable addition.
Bill Page.
--
You
On Fri, Sep 7, 2018 at 12:24 PM Konrad Schrempf wrote:
...
For Bill: If it helps to support further discussions, please put the
code on github (maybe including the mini-documentation). I guess that
it will take a while to include it in standard FriCAS. Just tell me if
you need a formal declaration
ot;
https://github.com/billpage/fricas/commit/cfd3150613557acfb5a7986c6561b3ee84f09727
https://github.com/billpage/fricas/commit/cfd3150613557acfb5a7986c6561b3ee84f09727.patch
--
>From cfd3150613557acfb5a7986c6561b3ee84f09727 Mon Sep 17 00:00:00 2001
From: Bill Page
Date: Sun, 16 Sep 2018 14:57:29
Konrad Schrempf reports the following bug:
(1) -> A := matrix([[0]])$Matrix(DFLOAT)
(1) [0.0]
Type: Matrix(DoubleFloat)
(2) -> rowEchelon(A)
(2) [0.0]
Type: Matrix(DoubleFloat)
(3) ->
er/xdpolyf1.spad
Please pull the new version. I have also included a lot more comments
in the code. I would be happy to receive comments and questions.
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscr
On Sun, Jul 15, 2018 at 6:37 PM, Bill Page wrote:
>
> It seems that UNTRACE-2 was replaced by untrace2 in this commit
>
> https://github.com/fricas/fricas/commit/546108f1b65acadc38fc7d243b1b29770b6a770a
>
> https://github.com/fricas/fricas/blame/546108f1b65acadc38fc7d243b1b29770
It seems that UNTRACE-2 was replaced by untrace2 in this commit
https://github.com/fricas/fricas/commit/546108f1b65acadc38fc7d243b1b29770b6a770a
https://github.com/fricas/fricas/blame/546108f1b65acadc38fc7d243b1b29770b6a770a/src/interp/trace.boot#L387
but apparently this reference to UNTRACE-2
On Thu, Jul 12, 2018 at 8:00 AM, Bill Page wrote:
> Actually the message "Semantic Errors" occurs 35 times during a
> normal successful build of FriCAS. Many but not all of these are
> due to something being "BOTH a variable and a literal". Clearly
> these
Actually the message "Semantic Errors" occurs 35 times during a normal
successful build of FriCAS. Many but not all of these are due to
something being "BOTH a variable and a literal". Clearly these are not
really "errors". At most this might be just a helpful warning but I
cannot see any
On Wed, Jul 11, 2018 at 4:14 PM, Raymond Rogers
wrote:
> On 07/11/2018 03:15 PM, Bill Page wrote:
> ...
> If I replace 'first' with a different name e.g. 'first2' and 'last'
> with 'last2' then there are no such errors. So far as I know
> 'first' and 'last' are not reserve
If I use the names 'first' and 'last' in a spad file I get a message:
Semantic Errors:
[1] last is BOTH a variable and a literal
[2] first is BOTH a variable and a literal
...
What does this mean? In spite of the "semantic error" the code
compiles and runs as expected.
If
On Wed, Jul 11, 2018 at 9:53 AM, Riccardo GUIDA
wrote:
>
> Hi, thanks for the feedback.
>
Actually, thank you for the feedback.
>
> [Bill]> Although this terminology is used in a few places,
>
> "... a few places"? Well, I would say "almost everywhere":
> Jenks Sutor vol 0, hyperdoc, fricasUG,
On Tue, Jul 10, 2018 at 11:51 AM, Riccardo GUIDA
wrote:
>
> Command line interpreter: I realize that type declaration is ignored
> in delayed assignment == even for variables (see [1] for a similar
> behavior for functions)
>
> Same behavior from .input file.
>
Although this terminology is used
On Mon, Jul 9, 2018 at 7:57 AM, 'Martin R' via FriCAS - computer
algebra system wrote:
> I should add: I am well aware that I asked this question before,
> for example in
>
> https://groups.google.com/forum/#!topicsearchin/fricas-devel/inputform/fricas-devel/EDdvs1MaJNA
>
> but the answers back
On Sat, Jul 7, 2018 at 6:00 AM, 'Martin R' via FriCAS - computer
algebra system wrote:
> Can I do anything to facilitate inclusion in FriCAS?
>
Of course just submit a patch. Such as what you attached to your
original message. :)
> It would be relatively urgent, because it holds up other stuff
On Thu, Jul 5, 2018 at 12:20 PM, Riccardo GUIDA
wrote:
> Hi
>
> I do not understand how the syntax
>
> rule sin(x) == x -- see (1) below
>
> is accommodated to fit in the signature
> (EXPR(INT), EXPR(INT)) -> RULE(INT,INT,EXPR(INT))
> see fricas message below
>
> In other words: in (1) I do
On Thu, Jul 5, 2018 at 11:31 AM, Ralf Hemmecke wrote:
>
> I think that going via InputForm is not the right way to do such a
> conversion from FriCAS Expression(INT) into a Sage expression.
>
I disagree.
> Wouldn't it be wiser to add functions to Expression in order to
> decompose an element.
On Thu, Jul 5, 2018 at 11:17 AM, 'Martin R' via FriCAS - computer
algebra system wrote:
>
> Would it be possible to change that to something like the following
> (WARNING: only lightly tested!).
+1
> Two comments:
>
> 1) The scripts are of type OutputForm, but there is no way to get an
>
Maybe like this:
(1) -> Integer has Zero:()->Integer
(1) true
Type: Boolean
(2) -> Integer has One:()->Integer
(2) true
Type: Boolean
As I recall 0 is just a
On Mon, Jul 2, 2018 at 10:20 PM, Raymond Rogers
wrote:
> Bill, Okay that works.
> Newbie question: why? I thought I was specifying the incoming data type.
You have already specified the incoming (and outgoing) data type by writing:
factor_test : (XDP,LIST(NCP))-> BOOLEAN
Note: BOOLEAN is
Raymond,
Sorry for the delayed response. Perhaps you have already discovered
the solution.
The line:
factor_test(x::XDP , y::LIST(NCP)) ==
should actually read:
factor_test(x , y) ==
--
Bill Page.
On Wed, Jun 20, 2018 at 1:35 PM, Raymond Rogers
wrote:
> If anybody is runn
Raymond,
I am sorry that it has taken me so long to get back to this project.
My only excuse is that summer is finally here in Canada and there seem
to many other things that occupy my attention. I am of course still
very interested and enthusiastic about this work.
On Sat, Jun 23, 2018 at 2:09
On Sun, Jul 1, 2018 at 4:55 PM, Kurt Pagani wrote:
> ...
> I've attached my config in a pdf, maybe it will help you to find the error.
Kurt,
I took a quick look at you config file but haven't had a chance yet to
compare it to the one distributed with FriCAS. Have you made many
improvements
On Sat, Jun 30, 2018 at 11:30 AM, Waldek Hebisch
wrote:
> Bill Page wrote:
>> >
>> > Well, advantage is consistency with rules.
>> >
>>
>> Could you site specifically what rule is being violated?
>
> The one that Ricardo was asking about: that 'if
On Sat, Jun 30, 2018 at 9:40 AM, Waldek Hebisch
wrote:
>>
>> On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch
>> wrote:
>> > On command line interpreter evaluates things so can use actual
>> > values to guess what would be useful.
>>
&g
On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch
wrote:
> Riccardo GUIDA wrote:
>> ...
>> 3) The user is puzzled because
>
> The command line is not representative of FriCAS language.
In my opinion it should be (almost) representative of FriCAS language (SPAD).
> On command line interpreter
On Fri, Jun 29, 2018 at 10:10 AM, Riccardo GUIDA
wrote:
>
> Thanks for your clarifications Bill.
>
Thank you for asking the question.
>
> Just to say that my original question to Ralf was a much more low
> level quest for clarifications in the user guide:
>
OK. I think I understand your
On Wed, Jun 27, 2018 at 5:15 PM, Ralf Hemmecke wrote:
> Ricardo made me aware that the formulations in
> http://fricas.github.io/book.pdf Section 5.3 maybe a bit confusing to
> new users.
>
> We all know that Void is the type used in situations where there is
> no value.
No that is not correct.
On Wed, Jun 13, 2018 at 9:22 PM, oldk1331 wrote:
>> However I am uncertain about your proposed changes to Void. Why do you
>> prefer a value of 0 instead of the symbol "()"? Note of course that
>> this is a Lisp symbol and not Lisp NIL. Although the value can be
>> anything, as the empty tuple,
On Sat, Jun 23, 2018 at 4:52 AM, oldk1331 wrote:
> But for 'min'/'max', the 'map' paradigm is not very suitable.
> The appropriate way is to use 'reduce'.
>
+1
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe
On Tue, Jun 12, 2018 at 9:37 AM, oldk1331 wrote:
> Clearly domain "Void" is the unit type:
> https://en.wikipedia.org/wiki/Unit_type
>
> So I'm clearing this up.
>
I think that fixes and better documentation of the Void, Exit, and
None domains are quite welcome but still warrant some discussion.
+1
On Mon, Jun 11, 2018 at 9:34 AM, Waldek Hebisch
wrote:
> I think that we should not expose MathMLFormat, ScriptFormulaFormat,
> TexFormat and TexmacsFormat. AFAICS TexFormat1 has to be
> exposed to fulfil its role, so probably should be exposed.
>
> Opinions?
>
> --
>
On Mon, Jun 11, 2018 at 8:17 AM, oldk1331 wrote:
>>> The grammar for 'reduce': "func"/[args]
>>> is not only very strange, but also not applicable in interpreter.
>>>
>>> I don't think it's worth the effort that compiler supports this grammar,
>>> because it should be easilly replaced by
1 - 100 of 1077 matches
Mail list logo