carg(%i),numer => 0.5*%pi
How does solve treat (-1)^(1/3)?
More, simpler, examples: taylor(rat(1/z+1),z,0,1) => unfamiliar singularity error...
Push fails with hasharray which is also a defined var
The inconsistency has nothing to do with radcan. As Dodier notes above, it is the...
radcan(log(sqrt(2)+1)+log(sqrt(2)-1)) doesn't simplify
This is working as intended, as Fateman has explained many times. And indeed it is...
Wrong result with radcan
This is working as intended, as Fateman has explained many times.
By the way, ev(...,eq,radcan) is tempting fate because of the idiosyncracies of ev...
assume of sets and lists
This isn't related to nested roots in particular. It has to do with radcan treating...
radcan(sqrt(-1/(1+%i))) exhausts heap
The nested root is a red herring. Here is a simpler case that core dumps: radcan(sqrt(-1/(1+%i)))...
Though radcan doesn't perform any root denesting, no Maxima function should ever...
create_list doesn't bind variables properly
parsing problem: thru 3 for i in [a,b]
Actually, the speedup is much smaller in the general case: fpprec:200000$ b11:1.0b0+1.0b-199999$...
round/floor/ceiling slow for hi-precision bfloats
-1/taylor(x,x,0,1) => 0
Error in sum with non-false modulus
Same for cabs(abs(XX))
rectform(abs(XX)) should not assume that XX is real
Simplify sqrt(2*x^2) with domain:complex
local does not work for "assume" variables, because assume maintains a global database....
The different behavior based on input file name is actually described in manual section...
read_matrix issues
forget doesn't check argument structure
forget doesn't handle facts created with declare
gcfactor not idempotent
gcfactor not idempotent
This should be under flag control. What about (a+b%i)^n (integer n other than -1)?...
limit of li[..](...) with numer:true infinite recursion
Yes, this appears to be a limit bug. This does not crash Maxima; it causes a bind...
find_root(x,x,-1e300,1e300) => overflow
READ-DEFAULT-FLOAT-FORMAT => single-float setting it to double-float fixes the p...
Re-tested on Maxima 5.37post, SBCL 1.2.11, same result. SBCL 1.2.11 is the most up-to-date...
Float read is single-precision, though float() is double-precision
To elaborate a bit on: "the perverse way logical operators are evaluated." Arithmetic...
tested in 5.36/sbcl 1.2.10 and 5.37/sbcl 1.2.7
ratsimp returns unsimplified result
grobner_basis printing of "..." is problematic
grobner_basis fragile for bad args
I first encountered this problem when I applied radcan to the result of to_poly_solve....
Sorry, an extra set of parens are needed for this to parse properly (precedences...
radcan on express with %and very slow
string(a %or b) => ?%or(a,b)
Multiple evaluation of logical expressions
is(-x <= abs(x)) => unknown !!
defint 1/log(x) from 2 to sqrt(t) gives error
limit of expressions with signum not very powerful
taylor of CRE fails
Simple limit fails: x^a*(1-x)^b, x->0 (a < -1)
This is Maxima 5.36.1 SBCL 1.2.10.
Some simplifications of sums are done by evaluation, not simplification
Actually, the "." doesn't seem to be required in these examples at all. 2*y+x+1 =>...
Too many parens in (- 2 (y.x)) + y + 1
pochhammer displays as ((x)[n] instead of (x)[n]
kill(3) => no error
exp(1.0b19) => ERR 1.0b19 doesn't have enough precision to compute its integer part
set should act like list
limit(inf*(zeroa+inf)) => und, should be inf
Update doc for rest
display_format_internal doesn't work
divide(1,0) gives Lisp error
Some divergent integrals give error, some don't
%solve(sin(x)=abs(sin(x)),x) bad
Please send examples using a text format. Sending a png screenshot means that we...
solve( (sin(y+x)-1)/sin(y+x)=1 ,y) returns []
Well, this equation in fact has no solutions. It is equivalent to: sin(y+x)-1 = sin(y+x)...
diff Wrong result!
The answer is correct. log(A*x) = log(A) + log (x) and diff(log(A),x) = 0 so diff(log(A*x),x)...
Inconsistent handling of symbolic/float equality test
freeof(integrate) wrong
can't parse a++b++c with infix ++ declared lassociative
Thank you for reporting this bug. More generally, it turns out that for any name...
The plotting functions (by design) only plot real functions. The integrate function...
log(abs(x)) is not correct in general integrate(1/(x+%i),x) currently correctly gives...
log(abs(x)) is not correct in general integrate(1/(x+%i),x) currently correctly gives...
Thanks for your report. In Maxima, writing a number with a decimal point (0.4, etc.)...
function defined via diff has minimal numerical inaccuracy
Thanks for your report. In Maxima, writing a number with a decimal point (0.4, etc.)...
divide with fractional powers and algebraic:true -- never returns
In fact, single-argument limit isn't doing much at all with ind: limit(ind+1) =>...
limit(ind*XXX) and limit(ind/XXX) gives errors rather than results
makelist with numerical range doesn't work with simp:false
gcfactor(9) => 9
sometimes gfactor(gfactor()) needed for full factorization
'realpart should have more simplifications
zhegalkin_form messes up subscripts
Yes, the algorithm is very slow and should be improved, but I don't think it's buggy....
zero power zero
This is a long-standing disagreement in mathematics. Closing this as a non-bug. If...
Ceiling gives error, without even an error message
realroots(x*y) internal error
Comparison
algsys doesn't use polydecomp
%solve(sin(x)=tan(x),x) fails
Proposed work areas
Orthogonality