@mmcdara When a function, for example f(x,y,z), is prettyprinted, Maple looks for a procedure named `print/f`. If it exists, then what is actually printed is determined by `print/f`(x,y,z).

@acer Could the 0-bytes files be a separate problem caused by MaplePrimes reaction to the Ç (C-with-cedilla) in the filename?

@zenterix Did you use backquotes (on upper left of standard keyboard) around the 0 that's used as a matrix name? Forward single quotes won't work.

The code can be made much simpler if all you want to do is display the object, not compute with it later.

I need to see more examples of input and your desired output. Why doesn't the output of your example include [a, b+c]? And please show the desired output for {a, b, c, d}.

@sursumCorda Only subs can make changes inside a procedure, and I don't think that there's any reason to make it subs[eval].

@sursumCorda Acer may have some tools to help him trace the path through that tree to the 13th level without getting lost. But here is a completely different way to do the "micro-surgery" on that procedure that doesn't require that meticulous detail. The inequality that we want to change on line 24 is

`is/internal/SMTLIB_max_sys_size`(sys) <= 5

Rather than multiplying the right side by 2 (to change 5 to 10), we can multiply the left side by 1/2. This has the same mathematical effect; alas, it doesn't leave the code looking as nice. The reason that I mention it is that that change can be made with a simple subs command with no need for inert forms. The command is

`is/internal/SMTLIB`:= subs(
    `is/internal/SMTLIB_max_sys_size`= `is/internal/SMTLIB_max_sys_size`/2,
    eval(`is/internal/SMTLIB`)
);
protect(`is/internal/SMTLIB`);

The protect is to prevent you from accidentally doing this multiple times, which wasn't a potential problem with Acer's method.

I think that it's impossible to make the substitution target the whole inequality because it contains the local variable sys. (If it's possible, I'd love to know how.)

@sursumCorda This is an explanation of 

subsop([5,7,1,2,5,1,1,2,1,2,1,2,1]=10, ToInert(eval(`is/internal/SMTLIB`)))

Use showstat to view procedure `is/internal/SMTLIB`:

showstat(`is/internal/SMTLIB`);

Look for the inequality towards the end of line 24. It specifies some sort of resource-usage limitation with an upper limit of 5. Acer decided to change the upper limit to 10. One way to do that is to put the procedure into "inert form" (an extremely verbose tree structure), traverse the tree keeping track of the node numbers until you get to the 5, change it to 10, then reconstruct the "active form" of the procedure. The numbers mean "Starting from the root, take the 5th branch, then take the 7th branch of that, then take 1st branch of that, etc."

Yes, this has been a mysterious, intermittent problem on MaplePrimes for several years. No-one has found conclusive evidence that it's caused by the worksheet's type or contents or the poster's browser or settings. 

@acer You asked:

•  [have I expressed this correctly?]

The is command is an evaluator for the universal quantifier, and coulditbe is an evaluator for the existential quantifier. The rules for quantifier negation are

• not forall(x, P(x)) <=> exists(x, not P(x)),
• not exists(x, P(x)) <=> forall(x, not P(x)).

Therefore, the translation of is(F1 implies F2) into a form that can be evaluated is 

is(F1 implies F2)  <=>  
is(not (not (F1 implies F2)))  <=>  
not coulditbe(not (F1 implies F2))  <=>
not coulditbe(F1 and not F2),

whereas you had not is(F1 and not F2).

@sursumCorda What haven't you responded to my Answer below?

@nm Yes, your guess as to why the code returns 2 is correct. If the answer is supposed to be 1, then I'm sure that your concept of "degree" of a differential equation is worthless. So, I'm not wasting any more time on something that's worthless. What does your beloved Mathematica say about the degree of this ODE?

Recall this definition of degree of a differential equation that you gave on 2019-July-19:

• "In mathematics, the degree of a differential equation is the power of its highest derivative, after the equation has been made rational and integral in all of its derivatives"

What makes this equation different from the 2nd, 3rd, 5th, and 6th equations on your test list, for which you accept that the "degree" is 2?

Also consider your original Question:

"For an example, given 

restart;
ode:=(1+diff(y(x),x)^2)^(3/2)=diff(y(x),x$2)

I want the command to return 2 for the order of the ODE and degree is also 2 in this case."

What makes this new equation different from that?

@Ronan The scope of those variables must include both procedures ppp and Qprj. Therefore they muist be local to the outermost module, rt.

Can we see equations 20-25, which specify v_0(t), ..., v_5(t)?

@Anthrazit The first argument of XMLElement, the "a" in this case, is an identifier for the element itself and is not considered to be one of its children.

@PaulNewton You wrote:

• Thank you, but I must agree with acer 27088 said yesterday at 745 AM
  In comparison, using complicated regular expression matching looks needlessly complicated here.

If you already know that your string ends with the reference number (such as 2.13) in parentheses, then I agree that Drop - Take is easier. The point of the regular expression is to check whether the reference number is there, at the end. If it's not there, the Drop - Take will return whatever the last item in parentheses is, even if it's in the middle of the string.