Re: [fricas-devel] patches to fr.spad

On Thu, Apr 19, 2018 at 1:05 AM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: >> >> On Mon, Apr 16, 2018 at 9:15 PM, Waldek Hebisch >> <hebi...@math.uni.wroc.pl> wrote: >> > AFAICS several patches make code more complicated, I

Re: [fricas-devel] patches to fr.spad

On Mon, Apr 16, 2018 at 9:15 PM, Waldek Hebisch wrote: > AFAICS several patches make code more complicated, I am not > shure if we want such changes. Yes, some patches make code longer, but not necessarily more complicated. I use the most natural algorithm according to

[fricas-devel] [PATCH] [0003.5] fr.spad : optimize =$FR

https://github.com/oldk1331/fricas/commit/6b10a8e1dfac310daae7d4b1586dde766d78d214.patch This patch should go between patch No.3 and patch No.4. The Rep is already sorted according to 'LispLessP', so we can compare them one by one instead of using 'set'. diff --git a/src/algebra/fr.spad b/src

[fricas-devel] [PATCH] [0011] change 'factors' to 'factorList' when possible

https://github.com/oldk1331/fricas/commit/1c547419ba01c09de4a4b6dcb5233d1c0d8c7b4e.patch This change avoids extra memory allocation. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this grou

[fricas-devel] [PATCH] [0010] fr.spad : cleanup 'expand'

https://github.com/oldk1331/fricas/commit/b38ec5129307cd3b0902ee127eba121319d99865.patch diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 8ce62a0b..40e4094c 100644 --- a/src/algebra/fr.spad +++ b/src/algebra/fr.spad @@ -165,7 +165,6 @@ comparableR? := R has Comparable

[fricas-devel] [PATCH] [0006] fr.spad : optimize '*' in FR

https://github.com/oldk1331/fricas/commit/88a8ed4dd84ec1b6f15c35fff765031441bdfa61.patch Because of the list of factors are already sorted, we can 'merge' them during multiplication, instead of going through the object creation process again. diff --git a/src/algebra/fr.spad b/src/algebra

[fricas-devel] [PATCH] [0007] fr.spad : move 'mergeFactors' to FR

https://github.com/oldk1331/fricas/commit/1712d6b76e388f177d029d4641f0204662ed090e.patch This function really belongs to FR instead of FRUTIL. It also simplifies the implementation. diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 9f1a9978..36cbe7b7 100644 --- a/src/algebra/fr.spad

[fricas-devel] [PATCH] [0009] fr.spad : change INT to NNI in Rep of FR

https://github.com/oldk1331/fricas/commit/a7d496a57defd0edf623f1040e682dcb64963484.patch Negative exponents should not be allowed in domain Factored. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubs

[fricas-devel] [PATCH] [0008] fr.spad : some misc cleanup

https://github.com/oldk1331/fricas/commit/32c831064c33084ce39a59ab1c3af47c39c8ae6c.patch diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 36cbe7b7..7d4589e2 100644 --- a/src/algebra/fr.spad +++ b/src/algebra/fr.spad @@ -60,7 +60,7 @@ ++ a single factor whose base is asserted

[fricas-devel] [PATCH] [0004] fr.spad : rewrite 'gcd' in FR, much cleaner and faster

https://github.com/oldk1331/fricas/commit/1e58b16c42867b8218439bf1fbbfc6976fe6fb40.patch The original implementation is unnecessarily complicated. diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 8d6547cb..8486cf2b 100644 --- a/src/algebra/fr.spad +++ b/src/algebra/fr.spad @@ -413,37

[fricas-devel] [PATCH] [0005] fr.spad : optimize the creation of factored object

https://github.com/oldk1331/fricas/commit/c9161adf71cb5e4bc113f8b052336b9ac87c2899.patch Rewrite the recursive function into a loop. diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 8486cf2b..54a021c0 100644 --- a/src/algebra/fr.spad +++ b/src/algebra/fr.spad @@ -161,7 +161,6

[fricas-devel] [PATCH] [0002] fr.spad : rewrite 'exquo' to not depend on 'reciprocal'

https://github.com/oldk1331/fricas/commit/cf56ac2fed199aa6b9b69fbe589f1d19abef5f53.patch We do not use 'reciprocal' here, because that is not well defined for Factored; instead we do the exact divsion manually in the loop. diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index cb1e38f6

[fricas-devel] [PATCH] [0003] fr.spad : remove unnecessary 'reciprocal'

https://github.com/oldk1331/fricas/commit/6868fb220c9dbd760348f4271945d2642d2f265f.patch After previous change, the 'reciprocal' is not needed. diff --git a/src/algebra/fr.spad b/src/algebra/fr.spad index 4569e31e..349ab6e3 100644 --- a/src/algebra/fr.spad +++ b/src/algebra/fr.spad @@ -157,7

[fricas-devel] [PATCH] [0001] change the return type of 'factorList' to be more readable

https://github.com/oldk1331/fricas/commit/ffceaf560012d8054108830196650a54240b8e51.patch This patch simple changes Record(flg : fUnion, fctr : RP, xpnt : I) to Record(flag : fUnion, factor : RP, exponent : I) -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] [PATCH] fix "map" in Factored

I will add a test. And I would like to commit my dozen patches on fr.spad in a batch, is that OK? If so, I will post patches in https://github.com/oldk1331/fricas/commits/mymaster3/src/algebra/fr.spad later for review. On Tue, Apr 3, 2018 at 9:42 PM, Waldek Hebisch <hebi...@math.uni.wroc

[fricas-devel] [PATCH] fix "map" in Factored

https://github.com/oldk1331/fricas/commit/8eb78df4a4cfbec2549914024dc30b2b5ace9131.patch According to the documentation, the result of "map" should be nilFactor, and the 'unit' should also be a nilFactor. map : (R -> R, %) -> % ++ map(fn, u) maps the function \us

[fricas-devel] [PATCH] documentation fix in aggcat.spad

https://github.com/oldk1331/fricas/commit/cf4518c424b4412cd660b435e884bb367a001363.patch diff --git a/src/algebra/aggcat.spad b/src/algebra/aggcat.spad index 1ecbc2e9..9ea59f17 100644 --- a/src/algebra/aggcat.spad +++ b/src/algebra/aggcat.spad @@ -15,7 +15,7 @@ ++ of members, explicitly

Re: [fricas-devel] "has"

n is not available for R = Integer. It should > complain and tell the user: Use Zero and One instead of 0 and 1 here. > > > > Am 31.03.18 um 04:54 schrieb oldk1331: >> '0' and '1' are treated by compiler specially, so you should >> use this instead: >> >> (9) ->

Re: [fricas-devel] "has"

'0' and '1' are treated by compiler specially, so you should use this instead: (9) -> Integer has Zero : () -> % (9) true -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop

Re: [fricas-devel] html.spad

On Wed, Mar 28, 2018 at 5:43 PM, Martin Baker <ax87...@martinb.com> wrote: > Hi oldk1331, > > (should I call you oldk1331?) That's fine, I perfer a little anonymity online. > However something looks funny about the patch, do you need both => and > return void()$Void ? i

Re: [fricas-devel] html.spad

Sorry about that. Can you review a small cleanup in html.spad? --- a/src/algebra/html.spad +++ b/src/algebra/html.spad @@ -380,12 +380,8 @@ if enableGrid then if tagName = "table" then enableGrid := false if tagName = "tr" then enableGrid := false - b : List Boolean

Re: [fricas-devel] [PATCH] avoid unnecessary allocation in DirectProduct

I'm sorry for not mentioning the previous discussion: "Control stack exhausted" in 2017 Sep 13. I benchmarked the "control-stack-exhausted.input" attachment in that email, and this patch speeds up function "groebner" by 27%. I run that file twice: first time: 1639.22s (before patch) / 1205.55s

Re: [fricas-devel] [PATCH] avoid unnecessary allocation in DirectProduct

On Mon, Mar 26, 2018 at 9:05 PM, Ralf Hemmecke wrote: >>> In fact, is it really clear that FriCAS accesses tmp0 from outside the >>> function? If I'm not wrong, in Aldor you would have to declare >> >> I think it is common practice to use "free variable" because we >> have

[fricas-devel] [PATCH] avoid unnecessary allocation in DirectProduct

This change has been discussed long time ago, now I'm posting it again for review: By using domain variables 'tmp0' and 'tmp1', this patch avoids allocation when computation fails. diff --git a/src/algebra/vector.spad b/src/algebra/vector.spad index 6b6d7907..cb9e5b32 100644 ---

Re: [fricas-devel] bug in SparseUnivariateTaylorSeries

On Fri, Mar 23, 2018 at 11:58 PM, Ralf Hemmecke wrote: > Thank you, Qian, > > I wonder, how the origininal code can ever have worked. > > Furthermore, we can avoid > > nniToI st == delay >empty? st => empty() >term : Term := [(frst st).k, (frst st).c] >

Re: [fricas-devel] bug in SparseUnivariateTaylorSeries

On Sun, Mar 25, 2018 at 4:30 PM, Ralf Hemmecke wrote: > What about a review of these patches? > > https://www.mail-archive.com/fricas-devel@googlegroups.com/msg12006.html > > https://github.com/hemmecke/fricas/commit/c7f72105e02a21b8bfdcff8f1284de5bf970d279.patch > >

Re: [fricas-devel] make check

Since we have 'make check' now, I propose to add the travis-ci script to the repo: diff --git a/.travis.yml b/.travis.yml new file mode 100644 index ..e122247e --- /dev/null +++ b/.travis.yml @@ -0,0 +1,20 @@ +# currently there are ALSR issues with SBCL, so Docker can't be used. +sudo:

Re: [fricas-devel] bug in SparseUnivariateTaylorSeries

Thanks, my sourceforge id is also oldk1331. What's the code review policy? Which patches can commit directly? On Mar 23, 2018 11:42 PM, "Waldek Hebisch" <hebi...@math.uni.wroc.pl> wrote: It is time that you start commiting yours patches. Please give me id at Sourceforge an

Re: [fricas-devel] Fricas as static library

On Thu, Mar 22, 2018 at 3:55 PM, F Jean wrote: > Hello, I saw that there is an api to use Fricas. What api? Did you mean https://fricas.github.io/api/index.html ? That's just documentation for FriCAS. > I was wondering if I could > compile Fricas as a static library

Re: [fricas-devel] File removals

On Mon, Mar 19, 2018 at 10:13 PM, Waldek Hebisch wrote: > I propose to remove the following: > > 1) AFAICS text in src/interp/Makenotes.tex and in >src/interp/bookvol5.pamphlet is useless -- it is out of >date and mostly does not apply to current code. And from

Re: [fricas-devel] Announce: FriCAS 1.3.3 has been released

@Ralf, you (accidentally?) deleted tag 1.3.3 yesterday. -- 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

Re: [fricas-devel] Announce: FriCAS 1.3.3 has been released

@Ralf, can you push the 1.3.3 tag to github and update the documentation site? -- 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

Re: [fricas-devel] FriCAS status

On Fri, Mar 9, 2018 at 9:46 PM, Waldek Hebisch wrote: > Now all things planned for this release are commited. There > is now time for testing. Qian says that 'sbcl_make_sized_vector' > is buggy -- I will look into this. Any update on 'sbcl_make_sized_vector'? -- You

Re: [fricas-devel] An integration problem

You can see the post "how to set time-out on integrate and related questions" in 2017 April 4, Waldek gave an answer. -- 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

Re: [fricas-devel] exquo

On Fri, Mar 16, 2018 at 9:18 PM, Ralf Hemmecke wrote: > > Clearly, that is a partial function. But I think it makes sense to also > expose useful partial functions without putting the result in > Union(Integer, "failed"). > Isn't it a waste to put an integer into a union, if

Re: [fricas-devel] Integration?

When 'integrate' returns a list of results, there are conditions associated with them. More specifically, it tries to ensure (y)^(1/n) is real when n is even, aka ensure y is positive. So in the example of 'integrate(1/(x^4+2*a*x^2+a^2-1),x)', the first answer, (-a-1) and (-a+1) should be

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

>> Also I think it is better to use ALLOCATE-VECTOR-WITH-WIDETAG >> than ALLOCATE-VECTOR. > > We try to do the same thing 'make-array' would do, but skipping > time-consuming irrelevant stuff. 'sbcl' used to to do > 'ALLOCATE-VECTOR' so we do so. Nowadays sbcl uses ALLOCATE-VECTOR-WITH-WIDETAG

Re: [fricas-devel] Re: SF.net SVN: fricas:[2374] trunk/src

On Fri, Mar 9, 2018 at 10:18 PM, Ralf Hemmecke wrote: > Isn't "construct" that what Aldor calls "bracket"? > Shouldn't somewhere be written that by syntactic sugar > > construct [a,b,c] > > can simply be written as > > [a, b, c] > > ? I guess, this was the reason for

Re: [fricas-devel] FriCAS status

On Fri, Mar 9, 2018 at 10:20 PM, Raymond Rogers wrote: > I will compile on Ubuntu Mint if you like but I need instructions. I tried > a complete download but it seems to be the old version. > > Ray > You can either clone the repo by svn or git, or download a most

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

On Fri, Mar 9, 2018 at 8:38 PM, Waldek Hebisch wrote: >> >> Waldek, your changes to fix this problem (SVN r2373 or git 6404dd01) >> has made SBCL-1.4.5 to use 'make-array' instead of >> 'sbcl_make_sized_vector', is that your intention? > > Yes. We use

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

Waldek, your changes to fix this problem (SVN r2373 or git 6404dd01) has made SBCL-1.4.5 to use 'make-array' instead of 'sbcl_make_sized_vector', is that your intention? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

Re: [fricas-devel] Really dumb I/O ??

I don't quite understand you. Are you meaning to use FriCAS in batch instead of interactively? You can use FriCAS in pipes by disable sman: fricas -nosman < fri.input cat fri.input | fricas -nosman -- You received this message because you are subscribed to the Google Groups "FriCAS -

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

> The original code `(ceiling (* ,n ,n-bits) sb-vm:n-word-bits) > is wrong, it should be > `(ceiling (* ,n ,n-bits) (1- (integer-length sb-vm:n-word-bits))). Sorry, it should be `(ceiling (* ,n ,nb) sb-vm:n-word-bits). But since I'm using wrapper ALLOCATE-VECTOR-WITH-WIDETAG, this part doesn't

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

I have looked at relevant code in SBCL, and I believe following code fixes this bug. This uses a higher level wrapper SB-IMPL::ALLOCATE-VECTOR-WITH-WIDETAG to replace SB-KERNEL:ALLOCATE-VECTOR and VECTOR-LENGTH-IN-WORDS. The original code `(ceiling (* ,n ,n-bits) sb-vm:n-word-bits) is wrong, it

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

Nope, just a foreigner not familar with spelling :-) On Mon, Mar 5, 2018 at 5:26 PM, Mark Clements <mark.cleme...@ki.se> wrote: > Was the typographical error for "outage" a Freudian slip? Kindly, Mark. > > > On 03/03/2018 05:13 PM, oldk1331 wrote: > > Wow, nowa

Re: [fricas-devel] Re: sbcl-1.4.5 causes problems

Wow, nowadays a sourceforge service outrage will not make it to the news (Reddit, hackernews). Maybe it is time for us to migrate... -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop

Re: [fricas-devel] FriCAS status

I agree. On Mar 2, 2018 10:46 PM, "Waldek Hebisch" wrote: Concerning other Texmacs patches: 1) I Wanted to commit first 5 or 6 patches, but ATM Sourceforge does not work. 2) the 'fricasintexmacs' completely go against name conventions in FriCAS. Some Lisps insits that

Re: [fricas-devel] FriCAS status

On Thu, Mar 1, 2018 at 11:47 PM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: >> >> Hi Waldek, you haven't commented on the following patches. >> Also, please merge the documentation fix patches as long as >> you see fit. >> >

[fricas-devel] Re: sbcl-1.4.5 causes problems

It seems that sbcl 1.4.5 no longer exports SB-IMPL::VECTOR-LENGTH-IN-WORDS, causes 'sbcl_make_sized_vector' (in src/lisp/primitives.lisp) to return a uninitialized vector, see: (1) -> new(5, 0)$U32VEC (1) [0, 0, 0, 0, 40455807] Relevant parts: (defmacro sbcl_make_sized_vector(nb n)

[fricas-devel] sbcl-1.4.5 causes problems

Just FYI, the newly released sbcl 1.4.5 causes problems: FriCAS compiles fine with it, but has serval problems when running the HyperDoc example pages. I'm still investigating it, but I suspect it might be a SBCL bug. -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] FriCAS status

Hi Waldek, you haven't commented on the following patches. Also, please merge the documentation fix patches as long as you see fit. > fix display of 'box': > > https://github.com/oldk1331/fricas/commit/2c02ad4ea19d7869327ed708a5e8ff93fd6bfc29.patch > > fix PostScript form

[fricas-devel] [BUG] (a^b)^c simplifies to a^(b*c); (%i^%e)^%i is wrong

(a^b)^c currently simplifies to a^(b*c), which is wrong for complex values. Another related bug is '(%i^%e)^%i', which returns '(%i^%i)^%e'. These 2 bugs can be fixed by following patch. I have not experienced any breakage from this change. diff --git a/src/algebra/combfunc.spad

Re: [fricas-devel] FriCAS status

ed that Factored internally uses negative > exponents and maybe 0 too. This looks wrong, but does I also fix that in a later commit, fr.spad : change INT to NNI in Rep of FR : https://github.com/oldk1331/fricas/commit/be7be94ea799cb19a164052b0f8f4e10a956345c.patch But this patch requires some of

Re: [fricas-devel] FriCAS status

On Mon, Feb 26, 2018 at 2:35 AM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: >> >> I would like to include these patches also: >> >> >> compiler gives error on non-exist imports: >> >> https://github.com/oldk1331/fricas/co

Re: [fricas-devel] FriCAS status

I would like to include these patches also: compiler gives error on non-exist imports: https://github.com/oldk1331/fricas/commit/89dd2e8008602ed00cf1f13fe0d75c50205cbfcc.patch fix input/fns.input: https://github.com/oldk1331/fricas/commit/1c589fe749c4d9f59b35ef2cc038d77fed33dfda.patch I

Re: [fricas-devel] FriCAS status

Typo fixes in previous commits: diff --git a/ChangeLog b/ChangeLog index 50f4eaf9..00a725e4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -22,7 +22,7 @@ 2018-02-21 Waldek Hebisch * src/interp/br-con.boot, src/interp/br-op2.boot, - src/interp/daase.lisp: Misc clenups +

Re: [fricas-devel] why fricas crash on this input? Program stack

nteger))) and +t2 is '(Fraction (Polynomial (AlgebraicNumber))) => + t1 t1 is ['Expression, R] and t2 is ['Complex,S] => dom' := resolveTT(R, t2) null dom' => nil On Mon, Feb 19, 2018 at 11:46 PM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: &g

Re: [fricas-devel] FriCAS status

On Thu, Feb 22, 2018 at 5:19 AM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: >> >> fix 'leaf?' in URAGG: >> >> https://github.com/oldk1331/fricas/commit/4aea91d7b209d856dca09569c8dc53370769f48e.patch > > For this we need to thi

Re: [fricas-devel] FriCAS status

doc cleanup: https://github.com/oldk1331/fricas/commit/119ef3df12f9347aa7dcbadd0e565ed1ca09a886.patch doc fix: https://github.com/oldk1331/fricas/commit/77195e530cc5c7e58f98ef265ee307c8577c3c36.patch fix 'leaf?' in URAGG: https://github.com/oldk1331/fricas/commit

Re: [fricas-devel] FriCAS status

I have 164 commits in https://github.com/oldk1331/fricas/commits/mymaster2 most of them are ready to be merged. How would you like to proceed? On Tue, Feb 20, 2018 at 1:03 AM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > I think it is time for new release. We have sev

Re: [fricas-devel] Impressions

Hi Waldek, I would like to hear your opinions on other topics: 1. INSTALL. It's been half a year since last discussion about Debian packaging, how is it going? 2. Website. Do you agree that the website need some improvements? (more user friendly and SEO friendly) 5. Documentation. What are

Re: [fricas-devel] Square root bug

On Sun, Feb 4, 2018 at 2:42 PM, oldk1331 <oldk1...@gmail.com> wrote: > After r2337, sqrt(sqrt(2)) is not automatically simplified to 2^(1/4). > > But there should be a function that allows such manual simplification. > > Currently function 'rootPower' simplifies '(a^(1/n

Re: [fricas-devel] Square root bug

After r2337, sqrt(sqrt(2)) is not automatically simplified to 2^(1/4). But there should be a function that allows such manual simplification. Currently function 'rootPower' simplifies '(a^(1/n))^m', when m and n are positive integers. We should extend it for cases where m is Fraction Integer,

Re: [fricas-devel] leftRecip and rightRecip

> This make > it complicated for new users, because they get hundreds of functions and > might have no clue, what is important and what is not. I think this is an issue of lacking documentation. If only we can have extensive documentation for each Domain/Package (and in different formats: in

Re: [fricas-devel] leftRecip and rightRecip

On Fri, Feb 2, 2018 at 2:42 PM, Ralf Hemmecke <r...@hemmecke.org> wrote: > On 02/01/2018 02:46 AM, oldk1331 wrote: >> We can add default implementation of 'leftRecip', 'rightRecip' >> to be 'recip' in Group. > > The patch > > https://

Re: [fricas-devel] how to access https://groups.google.com/forum/#!newtopic/fricas-devel from outside of google?

> I do not understand why Fricas set up a forum that can only be accessed by > loging to google. That is not true. My primary way to access fricas-devel and sci.math.symbolic is RSS, no login is required: https://groups.google.com/forum/feed/fricas-devel/msgs/rss_v2_0.xml?num=15 -- You

Re: [fricas-devel] leftRecip and rightRecip

We can add default implementation of 'leftRecip', 'rightRecip' to be 'recip' in Group. -- 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

Re: [fricas-devel] how to access https://groups.google.com/forum/#!newtopic/fricas-devel from outside of google?

Hi, In the google groups page, there is "my settings" in upper right corner, select "membership and email settings", then select "Notify me for every new message". Then you can recieve discussions in your gmail and you can set up thunderbird accordingly. For posting to this group, simply send

Re: [fricas-devel] Square root bug

Also related: Currently in FriCAS, sqrt(8) returns 2*sqrt(2) sqrt(-8) returns 2*sqrt(-2) but sqrt(8*sqrt(2)) returns sqrt(8*sqrt(2)) instead of 2*sqrt(2*sqrt(2)) That is another source of inconsistency. -- You received this message because you are subscribed to the Google Groups "FriCAS -

Re: [fricas-devel] Square root bug

> To put this differently, much of Expression design is build > on concept of normal representation Expression doesn't have "normal/canonical representation" because of Richardson's theorem (unable to check if an expression is identical to zero.). I wonder if AlgebraicNumber has

Re: [fricas-devel] How to turn on trace/loggin in Fricas to find where it hangs?

On Sun, Jan 28, 2018 at 12:22 PM, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > I could not find, or know what to search for, to turn on tracing in Fricas. > > For example, Fricas hangs on this > >integrate((4*x^4+3)^(1/4)/x^2,x) > > And

Re: [fricas-devel] how to write string to text file as quoted string? How to escape " ?

A few problems: 1. In FriCAS, the escape char is _ instead of \. 2. There is no three argument 'concat', you need to pass it a list of string. 3. You should use 'close!' to close the file. So, basically, write this string instead: concat ["_"", unparsed(xxx), "_""] -- You received this

Re: [fricas-devel] can't tell fricas to use variable name for file name, why?

This is not a basic question, because normally you should not mix FriCAS commands with system commands. You can use: systemCommand concat ["set output tex ", filenamevar] -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

Re: [fricas-devel] Square root bug

Is this the same as not simplifying "sqrt(6)-sqrt(2)*sqrt(3)" to 0? -- 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

Re: [fricas-devel] why ")set output tex fileName" does not write anything to the file?

In this case, the help message is given by: )set output tex -- 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

Re: [fricas-devel] why ")set output tex fileName" does not write anything to the file?

Hi, you need to turn the tex output on: )set output tex on )set output tex outputfile -- 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

Re: [fricas-devel] question on spool and saving commands to a log file

On Wed, Jan 24, 2018 at 6:18 PM, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > Having the option to append to a spool file would be very useful to > many. > > There are many times, where one want to spool some commands, > then turn spool off for

Re: [fricas-devel] how to remove equation number from )set output tex on

Sorry, I missed the part that you are using TeX output format. This is a bug. This is a patch that fixes this problem. You can make this patch take effect by )read /path/to/patched/i-output.boot (or compile fricas again with this patch applied) diff --git a/src/interp/i-output.boot

Re: [fricas-devel] question on spool and saving commands to a log file

I don't think that is possible currently. For non-interactive usage, you can use shell pipes. Or you can use ')system rm /home/me/data/foo.txt' before ')spool'. I wonder if you want to overwrite or append to this file. I could implement such functionality. On Tue, Jan 23, 2018 at 2:07 PM,

Re: [fricas-devel] how to remove equation number from )set output tex on

You can use )set message prompt plain and/or )boot $IOindex := nil On Tue, Jan 23, 2018 at 1:34 PM, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > When getting latex output of a result, the result has an equation number > there in the output.

Re: [fricas-devel] some big cleanup and speedup for IndexedList

On Sat, Jan 13, 2018 at 12:59 AM, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > oldk1331 wrote: >> >> https://github.com/oldk1331/fricas/commit/1b4af9795519918465253e5628b3d33c75e92abd >> >> This is almost a rewrite of List, I make 4-space indentation

[fricas-devel] [PATCH] fix Spad error caused by "if false then ..."

, the parser will tranform "if false then 1" into "noBranch". See 'parseIf' in src/interp/parse.boot. So I treat this case at compile-time, by transforming "noBranch" into a "voidValue". https://github.com/oldk1331/fricas/commit/e7fcea4da7d3693da45

[fricas-devel] [PATCH] fix an overflow bug in 'overlabelApp'

The bug can be triggered by: overlabel(3, empty())$OutputForm diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot index da808c6c..976fc7f9 100644 --- a/src/interp/i-output.boot +++ b/src/interp/i-output.boot @@ -1043,11 +1043,13 @@ overlabelApp([.,a,b], x, y, d) == d :=

Re: [fricas-devel] Deriving the Poisson distribution, can I symbolically compute this limit?

> I don't want to be to hard on FriCAS since I know this involves 2 variables. It's not about 2 variables. p := product((n-i)/n, i=1..(x-1)) limit(p, n=%plusInfinity) That is equvalent to p1 := product(1-i*n, i=1..(x-1)) -- eval(p, n = 1/n) limit(p1, n=0) FriCAS can handle

Re: [fricas-devel] Deriving the Poisson distribution, can I symbolically compute this limit?

It should be solvable: p1 := eval(p, n = 1/n) limit(p1, n = 0) The result is "1^(x-1)" I think this is a bug. There should be something added for 'exprToGenUPS', like r1645 for 'exprToUPS'. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

Re: [fricas-devel] How to solve this set of equations in FriCAS?

On Thu, Jan 4, 2018 at 3:11 PM, Kyle Andrews wrote: > Interesting! Will this be included in future versions of FriCAS? > If Waldek agrees. Then I'll improve the error message a bit. -- You received this message because you are subscribed to the Google Groups "FriCAS

Re: [fricas-devel] How to solve this set of equations in FriCAS?

It turns out there are relevant code in FriCAS: In transsolve.spad, in package TransSolvePackage, at the end of Exports and Implementation, there is a commented out signature: solve : (List Equation EXPR S, List Kernel EXPR S) -> List List Equation EXPR S It is almost what I thought. I

Re: [fricas-devel] How to solve this set of equations in FriCAS?

I don't think such functionality exists directly in FriCAS, but it should be easy to add a wrapper for this kind of question: Solve a system of EXPR(S) for certain Kernel(EXPR(S)), at least when it's pure transcendental. -- You received this message because you are subscribed to the Google

Re: [fricas-devel] Re: improvements on TeXmacs interface

On Tue, Jan 2, 2018 at 11:48 PM, Kyle Andrews wrote: > I am a new user who wants very much for TeXmacs to become the goto way for > me to do work both with FriCAS and other tools (e.g. R and asymptote). I'm > excited to see your work on the TeXmacs interface. One thing

Re: [fricas-devel] How can I gather terms in this expression and then extract coefficients into a list?

Type of x is POLY INT. In ")show POLY INT" I find that 'coefficient : (%, Symbol, NNI) -> %' may suit your needs: coefficient(x,SS,1) returns -p*q coefficient(x,S,1) returns p+q It can't handle '-SS' directly though. -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] not in Bits

On Tue, Dec 5, 2017 at 2:17 PM, Ralf Hemmecke wrote: > Hi Qian, > > can you tell what makes this patch so special that one cannot simply say > > )read src/interp/property.lisp > )read src/interp/parse.boot b/src/interp/parse.boot > > Thanks > Ralf As you can see, it modifies

[fricas-devel] [BUG] strange behavior caused by ')trace'

f := paren exp(exp(x)) limit(f, x=%plusInfinity) -- returns "failed" )trace Boolean )off f := paren exp(exp(x)) limit(f, x=%plusInfinity) -- returns "%e", which is wrong The line ")trace Boolean )off" should change nothing, but it causes the limit function to give wrong result. After some

Re: [fricas-devel] execute external programs from within fricas

On Wed, Nov 1, 2017 at 7:57 AM, Ralf Hemmecke <r...@hemmecke.org> wrote: > On 11/01/2017 12:53 AM, oldk1331 wrote: >> Have you tried ')system'? See ')help system'. >> It says you can even use ')system sh', that should be overkill. > > Ooops, it seems I was imprecise

Re: [fricas-devel] build on cygwin with clisp

On Sat, Oct 21, 2017 at 8:37 AM, Grégory Vanuxem wrote: > Can CLisp dump a file Clisp 2.49 on linux can. But that is released 7 years ago. The cygwin version is a 2015 snapshot and it can't dump. It gives an error message doesn't exist in version 2.49. I can't build

[fricas-devel] [PATCH] fix a bug in FreeGroup

This bug happens with FriCAS built with clisp-2.49, a test failed in tensor.input, "Testcase: MonoidRing". It should read 'r.first.exp' before the destructive 'reverse! r'. The behavior of reverse! is different in clisp and sbcl. https://github.com/oldk1331/fri

Re: [fricas-devel] build on cygwin with clisp

Hmm, it seems that SageMath is using ECL on cygwin. ECL is not in cygwin repo, so you have to build it from source? I tried but failed. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop

Re: [fricas-devel] build on cygwin with clisp

On Fri, Oct 20, 2017 at 9:30 PM, Grégory Vanuxem wrote: > Hi, > > I think cygwin version of CLisp no longer support dumping a core file. > > To be investigated > You mean recent version of clisp has this problem? So an ancient version (clisp 2.49 in 2010) may work? > Not

[fricas-devel] build on cygwin with clisp

Has anyone built FriCAS on cygwin recently? I use fricas-1.3.2 tarball, with updated config.{guess,sub}. I tried to build it with clisp, but that fails quickly in src/lisp, because clisp fails at "save-core". -- You received this message because you are subscribed to the Google Groups "FriCAS

[fricas-devel] Bill: about the texmacs interface

1. Why did you comment out the following code in contrib/texmacs/fricas/progs/fricas-input.scm? ;; ("" "1,") That is used for definition integration. 2. Why did you comment out the following code in src/algebra/texmacs.spad? --formatNary('STRSEP, "(space _"1quad_")", 0, args, prec)

[fricas-devel] [PATCH] 'INT-CHAR' is not in Common Lisp standard

INT-CHAR has been removed from CL standard, it's not defined in SBCL. https://github.com/oldk1331/fricas/commit/92d0f44a486b7fe6b36e8e8a2ef87d35fe7f8abf.patch diff --git a/src/interp/foam_l.lisp b/src/interp/foam_l.lisp index d9dceb91..bf89b50d 100644 --- a/src/interp/foam_l.lisp +++ b/src

<    1   2   3   4   5   6   7   8   9   10   >