Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)

05232018, 04:56 PM
Post: #7




RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)
This is the difference between an interactive or noninteractive system. The CAS is noninteractive, it means that you can not ask "Is x>1?" during a computation (like in maxima) and the result must be usable in further computations. In this example, limit would return a piecewise function because the condition can be solved symbolically, but it's not always the case and it would be much more complicated to handle (sooner or later you are faced with combinatoric complexity explosion, especially if you don't have good algorithms to simplify piecewise functions).
Another point to remember is that Giac was primarily designed to do computations that are hard or impossible to do by hand, not these kinds of limits because in my opinion, they should not be solved with a computer, I mean the computer will not give any additional value to what a STEM student should know. Of course, they could happen in an intermediate computation, but then the user should have made appropriate assumptions on the parameter. 

« Next Oldest  Next Newest »

Messages In This Thread 
Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  DrD  05222018, 01:13 PM
RE: Do you agree?  pier4r  05222018, 03:30 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  DrD  05222018, 03:38 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  Arno K  05222018, 05:42 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  DrD  05232018, 12:06 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  parisse  05222018, 06:36 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  parisse  05232018 04:56 PM
RE: Do you agree: limit(ABS(x)^n,n,∞,1); => undef (Onesided limit: n≥0)  DrD  05242018, 09:59 AM

User(s) browsing this thread: 1 Guest(s)