## 216 Reputation

19 years, 187 days

## computing the limit of the function sequ...

Maple
My post is not actually a question but a complaint. I'm trying to prepare a worksheet for teaching function sequences with Maple but Maple always make me sad. > assume(x::RealRange(-1/2,1/2), n::integer): > limit(x^n, n=infinity) Limit(x^n, n=infinity) but > assume(x::RealRange(-1/2,0), n::integer): > limit(x^n, n=infinity) 0 > assume(x::RealRange(0, 1/2), n::integer): > limit(x^n, n=infinity) 0 I'm running Maple V9.5. Is it getting better in later versions?

## maximize function, Weierstrass M-test...

Maple
I would like to write a procedure which uses the Weierstrass M-test on uniform convergence. I wanted to use the maximize function (to recognize if the function is bounded and to get upper bound) but this function doesn't work in many simple cases. assume(x::float); assume(n::integer); maximize(2*sin(x)+cos(x));
maximize(2 sin(x~) + cos(x~))
maximize((-1)^n);
-infinity
Actually, I don need maximize function but just to get any upper bound. Is there a way?

## How to define new type in package...

Maple
Hello, I would like to define new type in my package but I don't know how. What should I change in followng code to make it work? Thank you. Karel Srot restart: march('create', ".", 3); MyModule := module() option package; export p, `type/FS`; `type/FS`:=proc(t); # define new type if t=`a` then RETURN(true); else RETURN(false); end if; end: p:=proc(S::FS) local coeff, t; print(1); end proc: end module; savelibname := ".": savelib('MyModule'); restart: libname:=libname, `.`: with(MyModule); type(a, FS);

## How to redefine standard operators...

Maple
Hello, is there a way to give new properties to built-in operators, such as `+` or `*`? For example, I have my own type MYTYPE and procedure for adding MyAdd(a::MYTYPE, b::MYTYPE). Now, I would like to use: a + b instead of MyAdd(a,b). Is it possible? Thank you. Karel

## testing equivalence of relations...

Maple
Hello, my question is connected to the topic in my blogpost - Testing objects for equivalence. Alec Mihailovs wrote a procedure for nested verifications. But this doesn't work for relations where one relation equals to the second one multiplied by a constant. They are different, but solution is the same. For example: x=1 2*x=2 also Maple answers false. verify(x=1, 2*x=2,relation); false
 1 2 3 Page 2 of 3
﻿