> Also, for example in
> DoubleFloatEllipticIntegrals we need what in some sense
> is double float literals, but values are given by exact
> rationals. IMO DoubleFloatEllipticIntegrals code is more
> readable having the constant as rationals. So "true"
> floating point literals are relatively
"autoload" is gone in the last release, and
"share/texmf/tex" is not used, so no need to install
empty directories.
--- a/Makefile.in
+++ b/Makefile.in
@@ -67,9 +67,7 @@
${MKDIR_P} $(fricas_target_libdir)
${MKDIR_P} $(fricas_target_datadir)/spadhelp
${MKDIR_P}
oldk1331 wrote:
>
> (1) -> f x == x::FR POLY INT
>Type: Void
> (2) -> factorList f(x^2-1)
>Compiling function f with type Polynomial(Integer) -> Factored(
> Polynomial(Integer))
>
>2
>
>
> > AFAICS the correct way is to
> > first perform substitutions only inside kernels and then
> > apply resulting substitution list to x (like in the rootSimp case)
>
> Should this be the comment of this function?
No.
> Also, rootPower will not change the height of a kernel, right?
oldk1331 wrote:
>
> ")show" for categories (not category constructor, eg. HOAGG INT,
> not HOAGG) is much shorter than it should be, that's because
> in previous commit on i-syscmd.boot, we evaluates predicates of
> signature, but that predicates is incomplete for categories, because
> we don't
oldk1331 wrote:
>
> Changes to the output of ")show" following the patch order:
>
> 1. add a space after "," in the signature.
> (%,%) will be (%, %)
>
> 2. display "%" instead of "$" in the predicate of signature.
> "if $ has ATFINAG" will be "if % has ATFINAG"
Applied now.
> 3. add a full
> AFAICS the correct way is to
> first perform substitutions only inside kernels and then
> apply resulting substitution list to x (like in the rootSimp case)
Should this be the comment of this function?
Also, rootPower will not change the height of a kernel, right?
diff --git
oldk1331 wrote:
>
> I find a method to counteract the effect of 'clearConstructorCache':
>
> Building expressions using ==, after compiling a file, switch the
> definition of independent variable, causing expressions to be rebuilt:
>
> x == x1
> t == sqrt (2* sqrt(x^4))
> # tower sqrt(t^3)
>
oldk1331 wrote:
>
> It seems that all float number literal appeared
> in a spad file are treated as Float, you have
> to manually convert it to DoubleFloat if you
> want a DoubleFloat literal.
>
> Is that intentional?
Simply it is unimplemented. Correctly handling floating point
numbers
oldk1331 wrote:
>
> (1) -> rootPower atan(2*(x^(1/6))^3)
>
> 6+-+3
>(1) atan(2\|x )
>
> After patch:
>
> (2) -> rootPower atan(2*(x^(1/6))^3)
>
>+-+
>(2) atan(2\|x )
>
> Similar to previous rootSimp, rootPower doesn't handle
> nested roots correctly:
")show" for categories (not category constructor, eg. HOAGG INT,
not HOAGG) is much shorter than it should be, that's because
in previous commit on i-syscmd.boot, we evaluates predicates of
signature, but that predicates is incomplete for categories, because
we don't know % for categories.
So
Changes to the output of ")show" following the patch order:
1. add a space after "," in the signature.
(%,%) will be (%, %)
2. display "%" instead of "$" in the predicate of signature.
"if $ has ATFINAG" will be "if % has ATFINAG"
3. add a full stop in "Abbreviation for Dom is DOM."
4. remove
On 02/17/2017 02:03 AM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> Now, in this patch
>>
>> diff --git a/src/algebra/gbintern.spad b/src/algebra/gbintern.spad
>> index 0446c47..06bba81 100644
>> --- a/src/algebra/gbintern.spad
>> +++ b/src/algebra/gbintern.spad
>> @@ -3,11 +3,11 @@
>> ++
Compare the output of ")show String" and ")show String()".
")show String" has many unnecessary predicates, but since
String is a domain constructor with 0 argument, these predicates
can be evaluated, aka ")show String" can be a simple as
")show String()". This patch does that.
I'm not sure if
14 matches
Mail list logo
