> Why do you think this is wrong? Displayed values is more accurate
> then some "nice" thing without duplicates.
Should the correct output to be
table(1 = "1",1 = "2")
?
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
T
oldk1331 wrote:
>
> > You wrote "not suitable", but you did not explain what
> > you want to fix: what is the actual problem?
>
> Sorry for not including an example:
>
> T ==> ALIST(INT,STRING)
> t := table()$T
> t1 := concat([1,"2"]::Record(key:INT,entry:String),t)
> t1 := concat([1,"1"]::Recor
> You wrote "not suitable", but you did not explain what
> you want to fix: what is the actual problem?
Sorry for not including an example:
T ==> ALIST(INT,STRING)
t := table()$T
t1 := concat([1,"2"]::Record(key:INT,entry:String),t)
t1 := concat([1,"1"]::Record(key:INT,entry:String),t1)
gives
> I would not rush such change. ATM 'cons' seem resonable.
> OTOH 'concat' is may be written on purpose: 'concat' is
> generic and even in code specialized to lists author may
> wish to stress generic character.
I didn't want to remove or replace cons. So the guideline
here is to prefer concat i
oldk1331 wrote:
>
> I'll post patches in another thread.
>
> But I want to know which is preferred: cons/append or concat?
> (so that code style will more unified)
I would not rush such change. ATM 'cons' seem resonable.
OTOH 'concat' is may be written on purpose: 'concat' is
generic and even i
oldk1331 wrote:
>
> Currently coerce to OutputFrom from ALAGG
> is implemented in TableAggregate, that's not
> suitable for ALAGG, this patch fixes that.
>
> Another function '=' has similar problems, but in order
> to properly fix this, I need to define a new domain
> KeyValue(Key, Entry), which
>
> Well, seems this default simplification "(exp(a))^b --> exp(a^b)" will
> break many tests, I'll not go further.
>
> So "exp(4)-exp(1)^4" will not simplify to 0 by default, we'll have to
> live with it.
Yes, unfortunately this should stay. Compare:
(7) -> unparse((exp(1) + exp(3))::Input
oldk1331 wrote:
>
> I noticed that debian/ is removed.
>
> I want to make a final effort to get FriCAS into Debian.
>
> Where should I start, Debian bug tracker or debian-science
> mailing list?
I am in contact with Alex Myczko, who prepared a preliminary
version of package and indentified few
> Remains the question whether it's worthwile and who will maintain it?
Hopefully I can find one Debian maintainer that got interested in FriCAS.
Well, for a long time, we didn't generate enough noise to make people notice.
> It might be easier to distribute the packages either from github/relea
Am 25.03.2017 um 01:47 schrieb oldk1331:
> I noticed that debian/ is removed.
>
> I want to make a final effort to get FriCAS into Debian.
An excellent resolution :)
>
> Where should I start, Debian bug tracker or debian-science
> mailing list?
>
https://www.debian.org/doc/manuals/distribute-d
There is some progress. If you could create a branch I'd clone/pull.
I think that the concpet will work, so we might start filling in the details
(Makefile.in etc.).
The fricas/src/doc/tmp folder corresponds to the tex_orig/. Some further remarks
below (between).
1. convps.sh ==> converts ps/*.ps
Well, seems this default simplification "(exp(a))^b --> exp(a^b)" will
break many tests, I'll not go further.
So "exp(4)-exp(1)^4" will not simplify to 0 by default, we'll have to
live with it.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer al
I use "members(u) returns a list of the mathematical elements of u."
I wonder if there is better expression.
--- a/src/algebra/aggcat.spad
+++ b/src/algebra/aggcat.spad
@@ -114,10 +114,9 @@
++ \spad{count(p, u) = reduce(+, [1 for x in u | p(x)], 0)}.
parts : % -> List S
+
I noticed that debian/ is removed.
I want to make a final effort to get FriCAS into Debian.
Where should I start, Debian bug tracker or debian-science
mailing list?
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubsc
Now with this patch, another problem emerges:
exp(1)*exp(1)^2 will no longer default simplifies to exp(3)
but exp(1)*exp(2). Should we add default simplification
that transform exp(a)*exp(b) to exp(a+b) when a and b
are integers?
--- a/src/algebra/expr.spad
+++ b/src/algebra/expr.spad
@@ -122,6
oldk1331 wrote:
>
> Another thing: about the function name. simplifyExp is not
> suitable because it also simplifies power, I want to change
> its name to simplifyPower.
> There's a simplifyPower in EXPR, but that's a local function,
> so there's no confusion.
The difference between power and ex
oldk1331 wrote:
>
> A small problem:
>
> For 'a^(-n)', if n is positive integer, then we represent it as '1/a^n'.
> If n is an expression, then we represent it as 'a^(-n)'. In the mean
> time '1/a^n' is represented as is.
>
> So 'simplify' can't simplify 'a^(-n)' and '1/a^n' to the same thing,
oldk1331 wrote:
>
> (1) -> exp(-x)^(-1)
>
> 1
>(1) -
> - x
> %e
> Type: Expression(Integer)
> (2) -> (a^(-x))^(-1)
>
> 1
>(2)
> - x
> a
>
(1) -> exp(-x)^(-1)
1
(1) -
- x
%e
Type: Expression(Integer)
(2) -> (a^(-x))^(-1)
1
(2)
- x
a
Type: Expression(Integer)
(
A small problem:
For 'a^(-n)', if n is positive integer, then we represent it as '1/a^n'.
If n is an expression, then we represent it as 'a^(-n)'. In the mean
time '1/a^n' is represented as is.
So 'simplify' can't simplify 'a^(-n)' and '1/a^n' to the same thing,
that's not a problem, right?
--
On 24/03/17 02:06, oldk1331 wrote:
By 'literate' I mean formatted text.
Do you mean '\spad{}' markup?
No I meant the LaTeX formatted text between ')if false' and ')endif'. I
think the term should really be used for the methodology that Tim is
using in Axiom rather that what it has become he
21 matches
Mail list logo