> This is known old problem. My first reaction when
> seeing this was to call it a bug. But now I do not think
> that this is simply a bug.
Do you think this is a bug? Well, there are tests in bugs2008.input:
testEquals("exp^(2*log(x)) - (exp^log(x))^2", "0")
That will break one of my chan
oldk1331 wrote:
>
> (1) -> simplify(exp)
>
>>> System error:
>Cannot take first of an empty list
>
>
> As you can see, such simple expression can
> give an error.
>
> The bug happens because is?(exp, 'exp) returns
> true, aka a variable named exp is mistaken for
> operator exp.
This i
brace$SetAggregate has been marked as obsolete
for a very long time, when is the time to remove them?
I want to ask about what's the process to obsolete
a function and remove it. I think a point release
(e.g. 1.3.x to 1.4.0) will be a proper time to do some
API breaking changes.
So here are some
This is a trival optimization for setDifference.
--- a/src/algebra/list.spad
+++ b/src/algebra/list.spad
@@ -299,6 +299,7 @@ List(S : Type) : Exports == Implementation where
setDifference(l1 : %, l2 : %) ==
l1 := removeDuplicates l1
+ empty? l2 => l1
lu : %
> I think that this practice of using different symbols for given
> operators is confusing and unnecessary. Why not use the same symbol,
> i.e. '_^ ? Something similar happens with the paren and box operators
> which currently are %paren and %box. There are probably others.
There can be variabl
On 03/19/2017 11:11 PM, Kurt Pagani wrote:
> I'm still experimenting. Unfortunately pandoc cannot handle several essential
> constructs like \newenvironment, \def etc.,
> so it's no wonder you can't see much in the generated rst file :(
> As I remarked earlier we have to create a new style file fo
I'm still experimenting. Unfortunately pandoc cannot handle several
essential constructs like \newenvironment, \def etc.,
so it's no wonder you can't see much in the generated rst file :(
As I remarked earlier we have to create a new style file for rst output
(replacing fricas.sty by fricasrst.s
On 03/17/2017 10:31 PM, Kurt Pagani wrote:
> Get the lastest versions from:
> https://github.com/jgm/pandoc/releases/tag/1.19.2.1
I have this now installed
I've copied all generated .tex files for the book into one directory and
then and called
pandoc -r latex -t rst book.tex
But the output is
On 19 March 2017 at 05:41, oldk1331 wrote:
>
> The name/symbol used for operator '^" is %power,
> use such variable in expressions will causes trouble
> for sure, that kind of names should not be used in
> expressions.
>
I think that this practice of using different symbols for given
operators is
On 19 March 2017 at 05:41, oldk1331 wrote:
>
> The bug happens because is?(exp, 'exp) returns
> true, aka a variable named exp is mistaken for
> operator exp.
>
> First, function names can be used as variables
> names, that won't change.
> ...
> But there are many usages of is?(ker, 'xxx), many of
> (3) -> simplifyExp d^(c^a*c^b)
It should be simplifyExp(d^(c^a*c^b)) .
I have updated the patch in the attachment, also
include 2 tests.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and s
This patch has serval bugs, I'll update later.
On Fri, Mar 17, 2017 at 4:29 PM, oldk1331 wrote:
> I come up with a patch in attachment.
>
> To my suprise, there's zero difference in the testsuite output
> after this patch. Well, there's few functions and tests that
> calls simplify.
>
> Now, y :
(1) -> simplify(exp)
>> System error:
Cannot take first of an empty list
As you can see, such simple expression can
give an error.
The bug happens because is?(exp, 'exp) returns
true, aka a variable named exp is mistaken for
operator exp.
First, function names can be used as variables
na
13 matches
Mail list logo
