Hi Qian,
it's as unreliable as before. It seems that it depends on the time on my
virtualbox. When I try to compile now, it goes over that problematic step.
The last view lines from a failing build look like this.
==
preloading
/home/hemmecke/scratch/build/fricas/target/x8
It seems that this thread is relevant for FriCAS.
https://stackoverflow.com/questions/4777/sbcl-building-a-standalone-executable
Maybe our build process has to be more careful of how to save the image.
Ralf
On 9/17/19 11:25 AM, Ralf Hemmecke wrote:
> Interesting, now I seem to be in
Interesting, now I seem to be in the same situation as Nasser.
I've created a fresh Debian 10 in Virtualbox and try to compile FriCAS from
source.
It stops with
debugger invoked on a SB-IMPL::SAVE-WITH-MULTIPLE-
THREADS-ERROR in thread
This happens no matter whether I use the debian packag
On 8/29/19 2:40 AM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> Suppose in a domain I have a domain that exports
>>
>> +: (%, %) -> %
>>
>> and I define a function
>>
>> /: ((%, %) -> %, List %) -> %
>>
>> and
Thank you, Waldek,
I seem to have found a nicer solution for me.
If I replace "sort(pts)" by "sort(_<, pts)" it also compiles without
your additional "if".
Ralf
> )abbrev package FOO Foo
> Foo(F: Join(OrderedSet, Field)): Exports == Implementation where
> K ==> F
> Exports ==> with
> foo
According to
http://fricas.github.io/api/Point.html
Point K exports OrderedSet if K does.
So we have:
(293) -> List Point Fraction Integer has finiteAggregate
(293) true
(294) -> Point Fraction Integer has OrderedSet
(294) true
But then, why does the attached program not compile?
Y
On 8/15/19 5:03 AM, oldk1331 wrote:
> On 8/10/19 2:17 AM, Waldek Hebisch wrote:
>> oldk1331 wrote::
>>>
>>> I don't like the grammar that uses
>>>
>>> "func"/list1
>>>
>>> to do
>>>
>>> reduce(func, list1)
>>>
>>>
>>> First, this is a strange grammar.
>>>
>>> Also I don't like to have speci
Hi Qian,
I support such a change, in fact, I don't like something like
"+" / list
because it's not exactly clear what happens for the empty list.
I'd rather always put the three-argument "reduce" in order to specify
the value that is to be returned for the empty list.
Note that
http://fricas.g
Hi Waldek,
> Well, clearly what compiler generates is different than "obvious"
> meaning of the code. But in general issue is somewhat tricky: '=>'
> is supposed to exit current block. In FriCAS single instruction does
> _not_ form a block... ATM I would reccomend to use 'if' in such
> situati
Does someone know whether Wayland without an X server is problematic for
FriCAS?
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 fricas
>> https://github.com/fricas/fricas/blob/master/src/input/axiom.input
> It is unused and to some degree out of date. It is kept just
> as an example of what initialization file may do.
OK, in that case, I would remove it from the repo.
I'll put it's content on a doc page at fricas.github.io exp
There is a file src/interp/axiom.input.
Is this somewhere used? Or can it be removed?
If I remember correctly, the default input file is
".fricas.input" with a fallback to ".axiom.input".
So I guess, "axiom.input" doesn't work anyway?
https://github.com/fricas/fricas/blob/master/src/input/axiom.i
Hi Kurt,
On 7/16/19 3:05 AM, Kurt Pagani wrote:
> Meinst Du das?
>
> fricas -nox -eval ")lisp (lisp-implementation-type)"
> fricas -nox -eval ")lisp (lisp-implementation-version)"
>
> Value = "SBCL"
> Value = "1.4.5.debian"
Yes, that's exactly what I want.
Than you!
Ralf
--
You received this
Is it possible to figure out in an installed binary version of FriCAS,
what the underlying lisp is and if it is sbcl, then what the sbcl
version of AXIOMsys is?
I'd need that for a configure test.
Thanks
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS
What about asking the maintainer of GCL?
BTW, why do you consider it so important to support so many Lisp
dialects? If it works without much effort, then fine. But investing much
time in supporting too many dialects is a waste of time in my eyes. (Of
course, you decide about your time.)
Ralf
On
Just for the record...
> 1) What would be the boot code to write out doclist into a file?
> 2) Can FriCAS make it the default to write that file into the respective
> .NRLIB directory?
> 3) How to read that file from within .spad code to optain an
>SExpression?
Obviously, it's easier than I
In order to experiment with reStructuredText as a format for the ++
docstrings, I need access to the raw docstrings.
Of course, it would be good, if they lived in the FriCAS database, but
it seems it's not really needed to change FriCAS so much.
(With the help of Waldek) I looked a bit through the
Hi,
archive the whole directory for investigations that other people here on
the list may have for you.
To me it looks like a problem with parallel build that also happens to
me. It only appears sporadically, so that when I compile the next time,
everything is fine, i.e., it's not reproducible. M
> Build process takes trunk.pp6/src/etc/copyright and embeds it into
> executable, so that ')copyright' can show it. For easy
> finding/viewing there is http://fricas.sourceforge.net/copyright.txt
Still, I would argue, that the /license directory is the better place to
put that file. The build
On 7/3/19 11:27 AM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> the test
>>
>> testEquals("omegapower(o2) + 7*omegapower(o1)", "o3")
>> https://github.com/fricas/fricas/blob/master/src/input/ord.input#L15
>> fails.
>
> What
On 7/3/19 11:38 AM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> Hi Waldek,
>>
>> at sourceforge you link to http://fricas.sourceforge.net/copyright.txt .
>> But this file is different from
>> https://github.com/fricas/fricas/blob/master/license/L
Hi Waldek,
the test
testEquals("omegapower(o2) + 7*omegapower(o1)", "o3")
https://github.com/fricas/fricas/blob/master/src/input/ord.input#L15
fails.
Remark about notation:
Although I can somehow understand you motivation to use * and + for
"natural" product and "natural" addition of ordinals
On 6/10/19 6:32 PM, Neven Sajko wrote:
> This is basically a bug report or feature request, I am posting it
> here since it seems non-developers are not welcome on the Fricas
> Github??
??? What does that mean?
FriCAS at Github is a MIRROR of the official sourceforge svn repository.
Development (
> I did )set output tex on
> It worked with integrate(cos(sqrt y)^3*y,y) to a tex output as file and as
> graphic in the console.
> But I want to manipulate part of this graphic output as input for a next
> command. It is possible in Maxima by copy. Is it possible in Fricas? And I
> want to get
Would this help you?
http://fricas.github.io/api/EllipticFunctionsUnivariateTaylorSeries.html
Ralf
PS: To prevent spam we have allowed direct posting to subscribers of the
mailing list. Otherwise your posts are moderated.
On 6/4/19 6:37 PM, Peter van Summeren wrote:
> Hello,
> where can I fin
Hallo Peter,
axiom-m...@nongnu.org is the Mailing list for AXIOM, not FriCAS.
FriCAS is a different project (a fork of AXIOM) with mailing list
.
On 6/4/19 10:51 AM, Peter van Summeren wrote:
> Hello,
> I installed Fricas on Debian from source.
> Fricas works fine in a terminal window
> But if I
On 5/11/19 12:23 PM, Prof. Dr. Johannes Grabmeier privat wrote:
> I have various implementations and improbement of localizations done, if
> interested I can go through it again and we can think how we improve the
> current code.
Do you mean improvement of
https://github.com/hemmecke/fricas/blob/m
> after compilation of integer-jg.spad, which I include:
>
>
> (6) -> init()$NNI
>
> (6) 0
>
> Type: NonNegativeInteger
> (7) -> nextItem %
>
> (7) 1
>
Hi Qian,
Patch 1 basically moves all of the function definitions from
IndexedList to List (except, minIndex and maxIndex). Maybe maxIndex can
even be avoided, because it is inherited from the default implementation
of LinearAggregate.
https://github.com/hemmecke/fricas/blob/master-hemmecke/src/al
Hello Jan,
As Qian said, I wouldn't say that nowadays the graphics capabilities is
something where FriCAS shines.
On 4/1/19 7:33 PM, Jan Novák wrote:
> I am writing about FriCAS in my thesis and other 7 CAS free systems
> so I have to compare them in functionality.
That's great. Maybe I can put
Hi Waldek,
at sourceforge you link to http://fricas.sourceforge.net/copyright.txt .
But this file is different from
https://github.com/fricas/fricas/blob/master/license/LICENSE.AXIOM .
I think you should remove LICENSE.AXIOM and rather move
src/etc/copyright to /licence/LICENSE, since
I just now
On 3/15/19 7:03 PM, Riccardo GUIDA wrote:
> Hi to all!
>
> If I understand correctly, the current version of book.pdf in
> fricas.github.io is not in sync with patches in the docs introduced in
> 1.3.5 .
>
> Are there any problems in this sense?
If time counts as a problem... ;-)
I'll try to ta
m/d/optout.
>From ebac638ae156ee8bf3f5f0b1a427eb14936cdc4c Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke
Date: Sun, 24 Feb 2019 00:12:57 +0100
Subject: add hashUpdate! to InnerIndexedTwoDimensionalArray
---
src/algebra/array2.spad | 8
1 file changed, 8 insertions(+)
diff --git
> Well, trurly random value is hard to get, on Linux resonably good
> approximation is '/dev/uradom' ('/dev/random' may be better, but it
> blocks when it has too little randomness).
Oh, /dev/urandom would be sufficient for my purpose. I'm not doing
cryptography.
Pseudorandom numbers are otherwi
Hi Qian,
than you for your lisp statement.
> That makes me to think we should have a standard random
> number generator in FriCAS that is independent on underlying Lisp.
Hmmm... right. But we have.
http://fricas.github.io/api/RandomNumberSource
Unfortunately, there is no function that generate
Hello,
I use random(n)$Integer in a program and use that to generate a
filename. Unfortunately, when I run that program in parallel, i.e., like
two instances of
cat prog.input | fricas -nosman
it produces exactly the same random integer.
Probably understandable, however I haven't found a way to
;m perplex. Not that I'm against github but I don't know what we can think
> about that.
>
> A part that github is/was a good repository from my point of view.
> __
> Greg
>
> Le sam. 16 févr. 2019 à 18:45, Ralf Hemmecke a écrit :
>
>> Hi Waldek,
> Patch yes, please commit. OTOH please understand that difference
> between package and domain is fuzzy, it is more developer intent
> than science.
Of course, I understand that. And it's not vitally important. I've
already reprogrammed api.spad yesterday to actually depend on what is
written in
ator3Aux
Can I commit the attached patch?
Ralf
On 2/16/19 11:52 PM, Ralf Hemmecke wrote:
> When I enter this
>
>
> GETDATABASE('ElementaryFunctionsUnivariateLaurentSeries,
> 'CONSTRUCTORKIND)$Lisp
>
> into FriCAS, the result is:
>
On 2/16/19 11:40 PM, Kurt Pagani wrote:
> Hi Ralf
> I guess "rst" on SF will not diplay properly.
Huh?
rst is a text format that is usually nicely readable also as pure text,
i.e., not translated into HTML by some converter.
Look at
https://raw.githubusercontent.com/hemmecke/fricas-ws/master/RE
When I enter this
GETDATABASE('ElementaryFunctionsUnivariateLaurentSeries,
'CONSTRUCTORKIND)$Lisp
into FriCAS, the result is:
domain
But the file says
)abbrev package EFULS ElementaryFunctionsUnivariateLaurentSeries
and I don't see anything that justifies that this is not a package.
How doe
> what I am asking for now is something much simpler: could we have an ioHook
> for these messages?
I support an additional ioHook, but your patch does not seem right.
Doesn't
msg is ['mathprint, mathexpr] => ...
exit this function before the ending hook?
Ralf
> diff --git a/src/interp/g-e
Hi Waldek,
Do you have any opinion on writing such things in restructuredText?
I've already asked here
https://www.mail-archive.com/fricas-devel@googlegroups.com/msg12749.html
and up to now got no reaction.
Ralf
On 2/16/19 5:29 PM, Waldek Hebisch wrote:
> Thanks for info. I have put preliminar
Hi Kurt,
That's great that you provide a docker image. I'll link that soon from
fricas.github.io.
It seems that FriCAS got some momentum. Not just one single developer
anymore.
Ralf
On 2/3/19 8:17 PM, Kurt Pagani wrote:
> Great, thank you!
>
> BTW
> * Will somebody update the Wikipedia page?
>
On 1/30/19 2:36 AM, oldk1331 wrote:
> Yes, this is a bug introduced during my cleanup of Factored domain.
Thanks for fixing it so quickly.
> Now to think about it, if we really want to avoid extra allocation,
> a better approach is to use local variable:
>
> __one := [1, empty()]
> 1 ==
Can someone confirm the following problem?
Ralf
(1) -> f:=factor(x^2-1)
(1) (x - 1)(x + 1)
Type:
Factored(Polynomial(Integer))
(2) -> g:=f*(x-1)
2
(2) (x - 1) (x + 1)
Type:
Factored(Polyno
On 1/24/19 1:43 PM, oldk1331 wrote:
> There is an error in:
>
> intersect(s, t) ==
> i := set()
> - for x in parts s | member?(x, t) repeat insert!(x, i)
> + for x in parts s | member?(x, t) repeat t := insert!(x, i)
> i
>
> It should be "i := insert!(x, i)".
Yes,
> Instead, it is much better to have something partially working, and
> warn the user of possible problems.
I understand. Obviously there are some differences in development
between Sage and FriCAS. Correct me if I am wrong, but in my opinion,
Sage looks more like a moving target. It might easily
>> shouldn't UTS(F, x, 0) export EuclideanDomain if F is
>> a Field?
At first I thought, how can we have a Euclidean algorithm without zero
detection? But then ... that's not the definition of a Euclidean domain.
All it needs is a Euclidean size function and a division step. As long
as divide(f,
I mirror the SVN repo on https://github.com/fricas/fricas/
If there were a file README.rst (written in reStructuredText), then
Github displays it nicely formatted. I've just quickly produced examples
for FriCAS (that's unfinished).
https://github.com/hemmecke/fricas-ws/blob/master/README.rst
In
When I prepared the patch for remove!, I also stumpled over
http://fricas.github.io/api/KeyedDictionary.html#l-keyed-dictionary-remove
that, in particular, appears also in TableAggregate.
This function is destructive, but obviously not "over"-destructive,
because it modifies its second argument
Hi Waldek,
can I commit the following two patches.
https://github.com/hemmecke/fricas/commit/edbc948243f2413920291a876d2bf7930c1866b2.patch
https://github.com/hemmecke/fricas/commit/bd4d58237169553bdf4c4cab64e29c9484b85c11.patch
Ralf
--
You received this message because you are subscribed to
> So there is no need to consult the database, just load XXX- in
> the same directory as XXX.
OK. Then I also agree.
>> it must be checked that FOOCAT-.NRLIB is not older than
>> FOOCAT.NRLIB.
>
> This is the concern I'm having too. But I'm afraid FOOCAT-
> is created earlier than FOOCAT ("stat
On 1/9/19 8:13 AM, oldk1331 wrote:
> But in a fresh session, after you issue ")lib FOOCAT", you can't get
> information about FooCat&:
>
> (1) -> )lib FOOCAT
>FooCat is now explicitly exposed in frame frame1
>FooCat will be automatically loaded when needed from
> /home/oldk/tmp/FOOCA
> Let's use the example from the origin post:
>
> FOOCAT is the category, FOOCAT- is the default domain the implements
> part of FOOCAT, FOOPKG is the package that uses FOOCAT-.
>
> Now, the information about FOOCAT- is not mentioned in FOOCAT.NRLIB
> at all. It is inserted in FOOPKG during comp
Hi,
Riccardo Guida detected that the FricasUG in Section
"8.3.2 Using All Roots of a Polynomial" speaks of
zerosOf(y^4+y+1,y)
but displays the result in terms of %x0 and %x1.
That in itself is probably a minor issue. However,
it continues and shows the defining polynomial of %y0.
See below at (
I would like to announce the SpadUnit test framework.
https://github.com/hemmecke/spadunit
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
Hi Waldek,
Regarding a new release...
I'm currently trying to prepare the patch of docfixes that originate
from Riccardo Guida.
I'm also preparing an update to the fricas-book and the fricas.github.io
website (not only the api part). That will still take a few days, since
not everything is worki
Hi and happy new year to everyone!
On 1/2/19 4:08 PM, Waldek Hebisch wrote:
>> https://www.mail-archive.com/fricas-devel@googlegroups.com/msg11471.html
> I find the patch problematic. It makes assumptions that may be
> valid or not. IIRC we store information about default package
> somewhere, s
Hi Waldek,
Riccardo has sent me some docfixes some time ago.
Among them is to change "axiom2D.ps" into "fricas2D.ps".
https://github.com/fricas/fricas/blob/master/src/doc/htex/ug07.htex#L760
I will do that.
But when I looked at the respective patch r2372
https://github.com/fricas/fricas/commit
This bug seems to be still open.
Ralf
On 11/28/18 7:19 AM, oldk1331 wrote:
> This bug is caused by r2499 (or git commit 738295d3).
>
> Waldek cleans up something related with "attrlist" in that
> commit, and this error originates from "attrlist" in function
> "kePage" in file interp/br-con.boot.
Indeed Riccardo detected a bug. The question is whether I should simply
fix the documentation and (*) remove this line:
"""
If you accidentally use the branch type on the right-hand side of case,
false will be returned.
"""
i.e. we leave it unspecified what happens for cases like
x case Intege
Hi Waldek,
I don't see this patch applied. Can Qian commit it?
EMail thread is here
https://groups.google.com/forum/#!searchin/fricas-devel/Please$20help$3A$20wierd$20bug$20with$20library$20loading%7Csort:date/fricas-devel/_XPWYc4RACA/5no2Qv5eDAAJ
or here...
https://www.mail-archive.com/fricas-
> Put ")quit" aside, the bug I'm talking about is when input
> is empty, currently:
>
> (1) -> ^D
>
>Cannot find a definition or applicable library operation named 1
> with argument type(s)
> Variable(->)
>
> Perhaps you should use "@" to indicate
Hi Waldek,
Peter has updated his pull request
https://github.com/fricas/fricas/pull/5
some time ago. It is working for me and I would like to commit these 5
patches to the fricas svn repository.
I was a bit concerned about him adding lowercase 'and, 'or, 'not into
ax.boot.
https://github.com/f
> Yes, it is debatable, as we can see in
> https://en.wikipedia.org/wiki/Tree_(data_structure)
Since you refer to wikipedia... why not using this definition:
https://en.wikipedia.org/wiki/Tree_(data_structure)#Type_theory
In orther words, we introduce forests.
Shouldn't it be possible to define F
> Another way to look at this "use NIL to represent empty tree"
> problem:
> We disallow the existence of empty tree.
>
> 1. Empty tree is not required by the definition of tree.
> 2. You can not construct an empty tree from existing
> and future operations of Tree:
>
> For example, "delete a no
Hi Qian,
thanks for your patch. I think, it not only improves speed, but also
fixes a bug. Currently we have
S ==> Set PrimeField(2)
[index(i)$S for i in 1..2^(2+1)]
[{}, {1}, {0}, {1, 0}, {}, {1}, {0}, {1, 0}]
which will give an error after your patch. I support it.
Other issues...
I th
Hi Waldek,
I know that the compiler does not let me have an exported and a local
function of the same name, but that I cannot have local functions with
the same name but different parameter list is new to me and somewhat
unexpected.
I get
)compile qft.spad
; caught WARNING:
; Duplicate defini
On 11/29/18 3:48 AM, Andrey G. Grozin wrote:
> On Wed, 28 Nov 2018, Ralf Hemmecke wrote:
>> Suppose, p is an infinite powerseries and p' is it's inverse. Then
>> c=p*p' is a series that only has zero coefficients after the constant
>> term.
>>
>> Th
vel.
For more options, visit https://groups.google.com/d/optout.
From fb5bd8b27e4067c9adaa692d853298f4e5e84688 Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke
Date: Wed, 28 Nov 2018 19:07:04 +0100
Subject: add warning to "terms" function documentation
---
src/algebra/pscat.spad |
> 1. I prefer to have fewer "error" in library, it's hard
> to handle error in SPAD, and it makes function not "total"
> (it doesn't return a value for certain inputs), that's a
> bad property.
In general I don't care whether we have non-total function as long as it
is clear from the specification
> Is there a way to force the evaluation of erf so that the function
> s+->C(11.0,s) can be plotted?
Does the following help?
The idea is that you specify the type so that the result is not
Expression(Float) (and must later be converted to (Double)Float, but
rather an element of DoubleFloat.
> We can use "paren"/"box" to keep the factors.
I was thinking about "box", but not in such a sophisticated way as you
did. Comes probably from my dislike of Expression(X). ;-)
Ralf
> (25) -> exp map(x+->box(x::EXPR INT),factor numer first argument
> mainKernel exp(-a^2*x^2 - a^2*y^2))
>
>
> I must say that it is highly disappointing that to this date there
> is no serious free-software alternative to Mathematica.
It all depends on what you want to do.
> The three programs mentioned above have been developed for about
> 40-50 years by very capable computer scientists and mathematic
> In particular, there must be a way of defining a type for an
> exponential of a factored polynomial.
Of course, there is. However, I guess, you don't want to program this
just for the following.
> I am not interested in factorizing the exponential for doing a
> calculation, it is just for insert
> 1) Why does not sqrt(a^2) return abs(a)?
OK, let's try with a being the imaginary unity.
(4) -> sqrt(%i^2)
(4) %i
Type:
Expression(Complex(Integer))
(5) -> abs(%i)
(5) abs(%i)
FriCAS does not simplify abs(%i). So it's left unspecified.
You w
I suspect, the problem lies in the limit computation.
Ralf
(1) -> i := integrate(exp(-a^2*x^2),x)::Expression(Integer)
+--+
+---+ | 2
\|%pi erf(x\|a )
(1) -
+--+
| 2
2 \|a
Hi Marduk,
> I would like to convert exp(-a^2*x^2 - a^2*y^2) into exp(-a^2*(x^2 +
> y^2)).
I don't know either. Maybe it would be easier to help if you explain the
actual problem you want to solve. Perhaps this factorization is not
really necessary.
It might even be that your rule (whatever it i
Hi,
while testing my code I've made a very strange observation.
In fact, it appeared with the argument n*s^0, but when trying to write a
little package to demonstrate the problem, it became even more weird.
Look at attached packages. Foo just adds another argument to the
function (which it does
Hi Peter, hi Waldek,
Taking some content of a private mail from Peter that concerns the same
topic of this thread...
On 10/01/2018 09:51 PM, Peter Broadbery wrote:
> Taken a slightly closer look to remind myself - see for example the
> file index.KAF in build/src/algebra/PSCAT.NRLIB - the functio
Thank you, Riccardo,
yes, that must be a bug in my api.spad. I'll try to take care of it in
the next release.
Ralf
On 09/18/2018 07:09 AM, oldk1331 wrote:
> Yes, I agree that there are parenthesis missing in FriCAS API
> (fricas.github.io/api).
>
--
You received this message because you are s
On 09/17/2018 09:13 AM, Prof. Dr. Johannes Grabmeier privat wrote:
> I have extended Symbol to easily create Greek letters and think about
> suggesting a change of the default (algebra) genererators
> in finite fields from %A, %B to α, β. Any counter arguments?
As far as I understand, you want to
Hi Konrad,
First of all, thanks to all who worked on
https://github.com/billpage/ncpoly. It's always nice to see new research
entering FriCAS.
I admit that I haven't followed the fdalg discussion very deeply, but
reading your documentation is not very helpful.
What is the audience for
https://gi
Obviously, for the result, it wouldn't matter.
But you could force calling a certain function by getting the argument
types right explicitly.
http://axiom-wiki.newsynthesis.org/FriCASHelpSet
There is ")set output abbreviate off", but it wouldn't help for the
signatures here.
Ralf
(1) -> pxy:=x
On 07/25/2018 06:23 PM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>> Oh... maybe I'm wrong, but AFAIU, the Expression domain is
>> somewhat tailored towards a nice representation for integration. It
>> is, in fact, something like
>>
>> K(t1, t2, ..., tn)
> in final result so convertion from Expression(Complex(R)) to
> Expression(R) must properly handle imaginary unit (replace %i by
> sqrt(-1) if R is real).
Oh... maybe I'm wrong, but AFAIU, the Expression domain is somewhat
tailored towards a nice representation for integration. It is, in fact,
so
> Thinking loudly. In order to integrate trigonometric
> functions we need imaginary unit. So, if not present we
> need to add it, that is extend the original field. Currently
> this is done by changing base ring from R to Complex(R).
> OTOH if imaginary unit is present we should use it.
Hmmm...
houldn't this conversation be on fricas-devel instead of being
>> private?
>
> Probably. We are now discussing specific patches so it would be
> better to do this in public.
>
>
Forwarded Message
Subject: Re: Aldor interface
Date: Wed, 18 Jul 201
> Should I prepare a pull request or a simple patch,
Waldek is not in control of fricas.github.com, so only I will get
notified by a pull request there.
Thus, it's better to send a patch to the list or upload your stuff to
github and send a URL of your patch (ending in ".patch") to fricas-devel.
Hmmm... strange, fricas-com...@googlegroups.com seems to be unreliable.
The latest commit-message there is r2494 although we are currently at r2496.
But also the sourceforge mails seem to be unreliable. The latest I got
was r2495 from
FriCAS SVN repository
Is sourceforge again having problem
> you must make sure that in the control panel you have "units on" and you
> possibly have to scale the size of the window in order to have space for
> tick labelling.
Yes. No problem. Maybe I should add
vp := draw(sin(11*x),x = 0..2*%pi,title == "Large and unit",
unit==[0.2,0.2])
units(vp,1,"on
> IIC the user guide the draw option unit==[0.2,0.2] should add ticks to
> the axes x and y, but I cannot see anything.
>
> Try eg:
>
> draw(sin(11*x),x = 0..2*%pi,toScale == true,title == "Drawn to scale")
> draw(sin(11*x),x = 0..2*%pi,toScale == true,title == "Drawn to scale and
> unit", unit==
On 07/10/2018 06:35 PM, Waldek Hebisch wrote:
> Just a comment: current Spad compiler essentially imports every
> domain that is sees: types of function arguments, type of value,
> etc. This is creasy, because set of visible functions depends
> on exact computation path taken in the compiler -- sl
> --
> https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2410
> REPLACE:
> (s.i = s.j) and palAux?(s,i+1,i-1)
> BY:
> (s.i = s.j) and palAux?(s,i+1,j-1)
> MOTIVATION:
> IIUC, presently the function palAux? declare palindromes aggregates
> having equal firs
> --
> https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L894
> REPLACE:
> What is the value for \spad{n = 7}?
> BY:
> What is the value for \spad{n = 3}?
> MOTIVATION:
> The line below contains facto(3)
Thanks. But
>> Wouldn't it be wiser to add functions to Expression in order to
>> decompose an element.
>
> No, not in the case of the Sage interface to FriCAS.
Can you give a reason why?
A function that would enable to go step by step through an expression
tree in FriCAS wouln't be such a bad idea even tho
Hi Martin,
> (52) -> f := guess([reduce(*, [reduce(+, [1/k for k in 1..m], 0) for m in
> 1..n], 1) for n in 0..10]).1
>
> p - 1
> n - 111
> ++-++ --+ 1
>(52) | | > --- + 1
> | | --+s + 2
> p = 0
Now thinking about the "reductum(0)=0" assumption.
I can easily remove it from my code (see below).
tailReduce(x: X, basis: List X): X ==
empty? basis => x
p: R := polynomial x
-- We iterate over the non-leading terms of polynomial(x).
r: R := 0
v: V :=
>> https://github.com/hemmecke/fricas/commit/1ea2f36f0a2bf8dd251cbb0fb6ab810b734d2c88.patch
>>
>
> Looks good. However, comment:
>
> -- Reduce the non-leading terms of x (which is assumed to be non-zero).
>
>
> looks strange:
901 - 1000 of 3634 matches
Mail list logo