help links subscribe changes refresh edit

	IssueTracker
#277 Patches for GCL on Linux ←	↑	→ #279 Equality fails for Set Any

#278 'simplifyLog' cannot cope with 'sqrt'

Edit detail for #278 'simplifyLog' cannot cope with 'sqrt' revision 1 of 7

	1 2 3 4 5 6 7
Editor: Time: 2007/11/17 22:20:15 GMT-8
Note: An idea ?

changed:
-
\begin{axiom}
 simplifyLog(2*sqrt(2)*log(2))
\end{axiom}

From unknown Thu Mar 30 14:55:11 -0600 2006
From: unknown
Date: Thu, 30 Mar 2006 14:55:11 -0600
Subject: An idea ?
Message-ID: <20060330145511-0600@wiki.axiom-developer.org>

It's perhaps the line 
    for i in 1..#terms repeat
in manip.spad file and simplifyLog1 function to change in
    for i in #term..1 by -1 repeat
because there is a delete!(terms,i) in the loop.

It's perhaps necessary to add exprs := reverse! exprs at the end of the loop,
if we want to remain the order of the terms.

FMy.

axiom
simplifyLog(2*sqrt(2)*log(2))

(1)

Type: Expression Integer

An idea ? --unknown, Thu, 30 Mar 2006 14:55:11 -0600 reply

It's perhaps the line for i in 1..#terms repeat in manip.spad file and simplifyLog1 function to change in for i in #term..1 by -1 repeat because there is a delete!(terms,i) in the loop.

It's perhaps necessary to add exprs := reverse! exprs at the end of the loop, if we want to remain the order of the terms.

FMy?.