I'm a little busy with the Rule feature in Maple
Just started with the limits and can't get 1 limit rule working in my FSimp procedure yet
As a limit example I saw this in Maple help
with(Student:-Calculus1);
infolevel[Student[Calculus1]] := 1;
Rule[lhopital, ln(x)](Limit(x*ln(x), x = 0, right));
Creating problem #2
lim (x ln(x)) = lim (-x)
x -> 0+ x -> 0+ A meaningless example of how one limit of a function is equal to another limit of a function, when I think there is no connection between the two functions. ( I don't see it )
You might as well calculate the limit value right away.
It gets more interesting when you analyze the function/expression : x*ln(x) and start rewriting it, to a [0/0] or [infinity/infinity] form in this case and from this it shows the need to start using lhopital rule.
The Rule feature has a Hint capability and gives as a hint, lhopital that this rule is applied
Of course, you also have a series of standard limits, beyond the lhopital limits
The Rule feature for the limit is not yet step by step, because the need to start using a lhopital limit rule has not yet been demonstrated by the user