Maple can solve this second order linear non homogeneous ode,  but DEtools:-particularsol() not able to find the particular solution.

Any one would know why? Should it have been to find it since dsolve can? 

Download why_can_not_find_yp_april_1_2026.mw

update

I think I remembered now something.

What Maple calls "particular sol" is different from what we use at school, where general solution = y_h + y_p. here y_p is the "normal" particular solution used in textbooks. Maple's definition of particular sol is different.

So for a work around, I just use varparm from now on and it gives me what I wanted:

Download why_can_not_find_yp_april_1_2026_V2.mw

ps. it will be really nice if the above command would also support useInt. This way it makes it more easy to see the particular solution integrals used before they are evaluated. But now this command does not accept useInt.

Dear MaplePrimes Community,

With the rapid advancement of technology, it has become increasingly important to improve our workflows and reduce repetitive manual tasks. In my research, I frequently use Maple to solve  PDEs and obtain analytical solutions. However, one major difficulty I face is the time-consuming process of manually converting each result into LaTeX format.

In many cases, Maple produces multiple solutions, and I must copy and convert each one individually into LaTeX. This process is tedious, inefficient, and prone to formatting errors.

Therefore, I would like to ask:

Is it possible to establish an automated link or workflow between Maple and LaTeX such that, after solving a problem in Maple, all resulting expressions are automatically exported and inserted into a LaTeX document in the desired format and location?

Ideally, I am looking for a system where:

• Maple solutions are automatically converted into LaTeX code,

• The equations are directly placed into a specified LaTeX file or section,

• The process works for multiple solutions without manual intervention.

Furthermore, if such integration is possible, can this idea be extended to connect Maple with multiple tools (for example, Maple → LaTeX → plotting or document-generation systems), creating a more advanced automated workflow?

I would greatly appreciate any guidance, examples, or best practices for implementing such a system.

Thank you very much for your help.

Hi,

For pedagogical purposes, I am looking for a dynamic way to visualize the link between matrices and rotations in IR^3, for example through the rotation of a cube around the coordinate axes, as in the attached image.

My main goal is to help students better understand how the matrix acts geometrically in space through a clear dynamic representation.

If you have ideas, examples, or Maple approaches that could help illustrate this dynamically, I would be very grateful.

Many thanks in advance for your insight.

Question_R^3.mw

Maple 2026 and 2025

What option to use to make PDEtools:-Solve show all solutions, even double/duplicate ones? I am not able to find it using AI or help.

Download PDEtools_solve_march_28_2026.mw

I am asking because I could neither find a type nor a property for nonzero integers. However, with the assume facility it is possible to combine properties 

assume(x<>0,x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Or:

restart;
assume(x::Non(0),x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Or:

assume(x::NonZero,x::integer)
about(x)
Originally x, renamed x~:
  is assumed to be: AndProp(integer,OrProp(RealRange(-infinity,Open(0)),RealRange(Open(0),infinity)))

Non(0) is also accepted by the type command which raises the question whether Non(0) is a property, a type or both.

On the other hand type does not recognise NonZero but "::NonZero" is accepted in the assume command (note the :: which is the operator for type definitions). 

The function Non, which is also listed under types, is also accepted in the context of properties. This is somewhat confusing since types and properties are different in nature. Can somone clarify?

By the way, the above examples also work when Non is replaced with Not because they are equivalent. However showstat(Non) works but showstat(Not) throws an error.

Not able to make odetest give zero on this Maple solution to this first order ode.

So not sure if solution is correct or not, as can't also get same solution by hand.

Any one can find a method or way to verify this solution is correct?

odetest says it satisfies the IC but not the ode itself.

Below is worksheet. Tried with Maple 2026 and 2025.2 both give same solution.

Site will not let me upload worksheet. Here is code

ode:=diff(diff(y(x),x),x)+sin(y(x)) = 0;
IC:=y(infinity) = Pi;
sol:=[dsolve([ode,IC])];

the_residue:=odetest(sol[1],[ode,IC]);
the_residue:=odetest(sol[2],[ode,IC]);

Tried many things, including different assumptions, but can't get zero.

I have a example overloaded procdeure below. Due to '=' the optional input in the 2nd proc gets trapped in the 1st proc. I have tried various ways to get around this. Obviously I could make the  optional input in the 2nd proc non-optional if all else fails. Is there a way around this?

Download 2026-02-28_Q_Test_proc_Line_point_inputs.mw

Hello :)

I am totally lost with ( I guess) the LREtools package.

See the ws.

The two integer sequences come from the OEIS.

I don't understand why i have a FAILED result.

Download rsolve_and_LREtools.mw

In the Maple dock i am having problems finding the explicit value for x, for my equation. I need it, to find the value for r later.

so i will be kindly asking for Maple wizards to help me.

i thank of you in advance for your help, any comment is appreciated.

Hi,

I am trying to correct this question for my students, but I would like to include a pedagogical graphical illustration to support the idea that, for the area of triangle BCS to be minimal, the height (SM) — where M is the midpoint of [BC]— must be perpendicular to the plane Π at point S.

The code provided in the appendix does not clearly convey this idea.

Any ideas or suggestions would be very welcome.

Thanks

bac23IllustrationEspace.mw

Hello Ladies and Gents :)

x^Pi=Pi^x

Maple returns two reals solutions :

solve(Pi^x = x^Pi, x);
                               /  ln(Pi)\    
                    Pi LambertW|- ------|    
                               \    Pi  /    
                  - ---------------------, Pi
                           ln(Pi)            

evalf(%);
              2.382179087993016, 3.141592653589793

ouf Pi is a solution :)

but Mathematica returns 3 solutions : 2 reals and 1 complex :

see the attached pdf.

Is there a way to force Maple to return these 3 solutions?

thank you.

Jean-Michel

Hello everyone, I am trying to reproduce Equation (25) from the paper by E. Yomba (Chaos, Solitons and Fractals, 2006) using Maple, where the improved extended algebraic Fan method is applied to the (2+1)-dimensional Broer–Kaup–Kupershmidt (BKK) system. Starting from the system in Eq. (23) and the ansatz given in Eq. (24), together with the auxiliary equation (Eq. (3)), the paper states that substituting these expressions and setting coefficients of powers of G(ξ) to zero leads to an overdetermined system whose solution yields Eq. (25). My difficulty is implementing this process in Maple: specifically, how to correctly substitute the ansatz into the PDE system, expand and collect terms with respect to G(ξ) and its derivatives, systematically extract the resulting algebraic/PDE system, and solve it efficiently (possibly using packages like PDEtools). I would appreciate guidance or example workflows for performing this type of symbolic derivation in Maple.

F1.mw

I am trying to set the default Cartesian and Parametric variables to set them golbally or locally in a command..

How do I achieve this? 

Download 2026-03-26_Q_Module_Generic_Variables.mw

I need to plot this piecewise function

Maple plots it correctly but its sampling seems to use the points between and hence it also shows vertical asymptotes, like this

Is there a way to tell plot not to show the vertical asymtotes? These should not show. Here is the same exact function in Mathematica, and this is what I want in Maple

f[x_] := Piecewise[{
   {2*x - Tan[x], -7/4*Pi < x < -3/2*Pi},
   {2*x - Tan[x], -3/2*Pi < x < -5/4*Pi},
   {2*x - Tan[x], -3/4*Pi < x < -1/2*Pi},
   {2*x - Tan[x], -1/2*Pi < x < -1/4*Pi},
   {2*x - Tan[x], 1/4*Pi < x < 1/2*Pi},
   {2*x - Tan[x], 1/2*Pi < x < 3/4*Pi},
   {2*x - Tan[x], 5/4*Pi < x < 3/2*Pi},
   {2*x - Tan[x], 3/2*Pi < x < 7/4*Pi},
   {True, None}}]

Plot[f[x], {x, -2 Pi, 2 Pi}]

Here is Maple worksheet with all the maple code. I tried adding 'adaptive'=true,'discont'=true but these made no difference.

Download plot_piecewise_march_25_2026.mw

when getting sequence of RealRange, I'd like to convert this to normal list. Currently I have to use map twice on the result, but I think there should be simpler way.

Below is what I do. I was wondering if there is a better way in Maple to do this, may be a built in command?

Basically, if the input is

RealRange(-2*Pi,Open(-7/4*Pi)), RealRange(Open(-5/4*Pi),Open(-3/4*Pi)), 
RealRange(Open(-1/4*Pi),Open(1/4*Pi)), RealRange(Open(3/4*Pi),Open(5/4*Pi)), 
RealRange(Open(7/4*Pi),2*Pi)

I want to change the above to normal list like this (without any Open, etc.. in it) to make it easier to post process (say for plotting and so on)

[[-2*Pi, -7/4*Pi], [-5/4*Pi, -3/4*Pi], [-1/4*Pi, 1/4*Pi], [3/4*Pi, 5/4*Pi], [7/4*Pi, 2*Pi]]

This is what I do now on an example that generates sequence of RealRange

Download convert_realrange_to_list.mw