@dharr Your code is invaluable, and I don't know if the ai is clever enough if it gets the problem definition for this , to come up with the right programming too ?
The ideas in  your code are a basis for variants via AI.

variants_op_maple_collect_21-12-2025.mw

@dharr , this should work now 

Download corr_-def_proc_rangschikking_polynoom_8-12-2025_19-12-2025.mw

@salim-barzani 
Perhaps the AI will come up with a suitable solution, otherwise I don't know either
.generalisatie_Bij_mprimes_vraag_15-12-2025.mw

@salim-barzani 

restart;

# Shorter version
e_ij := ((3*c1*ki*(ki - kj)*lj - c3)*li^2 - 3*(c1*kj*(ki - kj)*lj - (2/3)*c3)*lj*li - c3*lj^2) /
        ((3*c1*ki*(ki + kj)*lj - c3)*li^2 + 3*(c1*kj*(ki + kj)*lj + (2/3)*c3)*lj*li - c3*lj^2);

# Show the limit definition using the inert form
Limit_definition := Limit((subs(ki=k1, kj=k3, li=l1, lj=l3, e_ij) - 1)/(k1*k3), k1=0)= limit((subs(ki=k1, kj=k3, li=l1, lj=l3, e_ij) - 1)/(k1*k3), k1=0);

# Calculate the limit using the active form
B13_direct := limit((subs(ki=k1, kj=k3, li=l1, lj=l3, e_ij) - 1)/(k1*k3), k1=0);

# Simplify
B13_result := simplify(B13_direct);

@salim-barzani 
Dr.D_thanks_mijn_correctie_omwerkend_t_ekrijgen_13-12-2025.mw

partieke_afgeleide_in_bewijs_oplossing_van_ode_13-12-2025.mw 

@dharr  I did that deliberately by giving your code approach to the AI, which will then do something with it.

It could just as easily give another code approach that the AI devises as a solution to this task, but that might be more difficult to follow, yet work better?

It would also be interesting to ask the AI for a variant on your code, and the programming would probably remain closer to the original programming?
Testing with this simple example is a serious error, yes.

@nm 
I did this and it works for me.
The URL that this page gives on Maple Primes is displayed in the browser.

Here is an example: https://www.mapleprimes.com/questions/242066-Unable-To-Upload-WorkshEXAMPLE

Remove the part of the URL: /questions/242066-Unable-To-Upload-WorkshEXAMPLE so that you get https://www.mapleprimes.com again.
I make a new link too by copy the url  

Nothing to worry about. I got the same thing today and the solution is to use again: https://www.mapleprimes.com

def_proc_rangschikking_polynoom_8-12-2025.mw

@Kitonum 
Use of ~ ?

restart;
A := r^(2*a) + r^2*(1 + a + r^(2*a)) + r + a*r;
result := collect(combine(expand(A)), r);

This gives the same result 

evalindets(B, `+`, simplify);

@salim-barzani 

@salim-barzani 
Initially, your question was also about the origin of the parameters, and you have now received an answer to that.
I believe you have now modified your original question and are now responding with this comment, which is not acceptable.

elleptic_curves_uitbreidingen_DEF_18-11-2025.mw
OVERVIEW OF USED OPTIONS:
• explanation=true/false     : Show/hide explanation
• steps=true/false          : Show/hide intermediate steps
• showplot=true/false       : Show/hide plot
• symbolic=true/false       : Symbolic/numerical result
• custom_label=text         : Custom label in plot
• advanced_analysis=true    : Advanced curve analysis
• compute_j_invariant=true  : Calculate j-invariant
• find_torsion_points=true  : Find torsion points
• compute_genus=true        : Calculate genus

elleptic_curves_uitbreidingen_DEFB_18-11-2025.mw