Is there lifting function for polynomials or algebra use?

expect input a list univariate polynomial , then output a list of polynomials of two variables.

it should be the reverse operation of projection.

Which library has this function in maple 12 or maple 2015?

I am trying to write a metric in Maple 2019, using the Physics package in Cartesian coordinates. I know that there is already a pre-installed way in which to set the coordinates to Cartesian, namely, if we have something like 

Setup(coordinates=cartesian);

or similarly, using the Coordiantes calling sequence, such that we may define something like

Coordinates(A=cartesian);Setup(coordinates=A);

yet, if I am not mistaken, this gives the coordinates in the following form: {x,y,z,t}, yet I seek to define the metric in the following, perhaps more arbitrary coordinate system, {x1,x2,x3,t}. Is there any way to setup the coordinate system to read like the set I just described, such that I can then take a norm of these three spatial coordaintes to be |x|? Any help would be greatly appreciated. 

   It would seem that the option style = planar  of DrawGraph()    is  failure when some graphs are planar.
   For example: 

treeof5:=[NonIsomorphicGraphs(5,4,output= graphs,outputform=graph,restrictto = connected )]:
DrawGraph ~ (treeof5, stylesheet=[vertexborder=false,vertexpadding=20]);

 

We know tree is planar graph obviously. But when I add the option style = planar ,  drawing of the first tree of list displays an error :
Error, (in GraphTheory:-Graph) vertex 1 cannot be its own neighbour in list of neighbours

I did not find any reason to explain. 

How do I find integer solutions to this non-linear equation:

8= 7(x^2+y^2+z^2)+2x+4y-8z.

Tried isolve and it wasn't working. (I guess too many variables?)

Also, if f(x,y,z) is the RHS, how do I write a loop that finds integer solutions to f(x,y,z)=c for |x|,|y|,|z|< N, say?

Suppose that a given population can be divided into two parts, those who have a given disease and can infect others, and those who do not have it but susceptible. Assume that y the proportion of infectious individuals then the rate of spread dy/dt is proportional to the number of contacts and can be described as

=y(-y), y(0)=y₀

Where y > 0 is a function of t,  is the initial proportion of infectious individuals.

1. Use MAPLE and sketch a direction field for your differential equation and include a sufficient number of solution curves and include the graph into your answer sheet.

(3 marks)

2. Find all the equilibrium solutions and determine whether they are asymptotically stable or unstable.

(4 marks)

3. Solve the above initial value problem and verify that the conclusions you reached in part(ii) are correct.

(5 marks)

Everytime I try to run my for loops, all the code I wish to be iterated over has to be on the same line/paragraph as the original for statement. I also have to end the for loop on the same line/paragraph otherwise maple returns an error saying my for loop is unterminated?

Is there some tool I should be using to format my code that I'm not aware of?

My array is as such

A:=Array(1..N/2);

(Array A is then filled with values)

sum(A);

Then Maple outputs all the values of the Array and not the sum of them all? What am I doing wrong? Any help is appreciated.

sourcesamples := [evalf(-1-sqrt(7)), -2, 1, evalf(-1 + sqrt(7)), 2];
templatesamples := [A, evalf(-1-sqrt(7)), A, -2, A, 1, A, evalf(-1 + sqrt(7)), A, 2, A];
samples := [-4, evalf(-1-sqrt(7)), -3, -2, 0, 1, evalf(3/2), evalf(-1 + sqrt(7)), evalf(9/5), 2, 3]

want to insert value alternatively according to the template and neighbor values

Some inserted values come from

floor(evalf(-1-sqrt(7)))
ceil(evalf(-1-sqrt(7)))

(round(evalf(-1+sqrt(7)),0) + 1)/2;
(2 + 1)/2
=evalf(3/2)

(round(evalf(-1+sqrt(7)),1) + 2)/2;
(1.6 + 2)/2
=evalf(9/5);

how to generalize this method into general case function instead of manual inesrt?

How does one import large polynomials with 10k terms or more (from Mathematica) into Maple? I don't think there is a compatiable file format between Mathematica and Maple.

I tried copying and pasting my two-variable Laurent polynomial from Mathematica into Maple. It does create a polynomial in Maple but just 1000 terms is enough to consume 5GB RAM and causes Maple to hang unresponsive. For some reason, just copying/pasting is enough to cause evaluation to occur in Maple without hitting the enter key. The "ready" dot at the bottom screen switches to "evaluating" dot automatically when I paste the polynomial in.

An old Maple book from 2011 states Maple is capable of handling 68,000 term polynomials -- I am sure this number has gone higher up now in 2020. 

with(RegularChains):
with(ChainTools):
with(MatrixTools):
with(ConstructibleSetTools):
with(ParametricSystemTools):
with(SemiAlgebraicSetTools):
with(FastArithmeticTools):
R := PolynomialRing([x,y,z,a,b]):
sys := [a*x^2+b*x+c]:
N := []:
P := [a]: 
H := [x,y,z]:
dec := RealTriangularize(sys,N,P,H,R):
Display(dec, R);

how to write : a <> 0 and (some x)(a*x^2+b*x+c) for quantifier elimination in maple?

is RealTriangularize parameters are after quantifier elimination or it accept quantifer expression?

if not, how to input above statement into real or lazy triangularize and expect return b^2 + 4*a*c;

Hi,

I'm coming from Mathematica since Mathematica uses single-core to compute multiplications of puiseux series, so I'm looking for any software that might do this faster. I don't know Maple -- I hope it can use multiple cores and runs faster.

My calculation is basically multplying out thousands of terms of the following type:

How should I do this? Maple doesn't seem to have multivariate puiseux series data structure. But observe my series is simple -- I have a power series in q and a Laurent series in y.

I could

1. Multiply using 'expand' . My worry is, if I expand product of two series in q^10000 then this is probably slower than Mathematica since 'expand' would compute far more terms than necessary instead of throwing away the extra terms beyond q^10000 in some O(q^10000) notation like Mathematica does.

2. I could use 'series' in q. 

This has the undesirable feature of not expanding out in y, returning 

.

I could then call expand on this, but using both series and then expand makes me worry about runtime.

Any advice?

Here is the minimal working example: 

with(Physics):
Setup(noncommutativeprefix={W,V});
simplify(W^(-1)*(-W^(-1)-W*V^(-2)));

It gives the result  below, which is wrong. Or am I misinterpreting? (Maple 2018)

(-V^2-W^2)*(1/V^2)*(1/W^2)

how i can solve a system of integral equations? thanks for the help.
 

Download fsolve.mw

Hello,

I have a procedure, SoS that returns the value for sos. After compiling the procedure, I get float(undefined) for the return value. How can this be fixed?

Thanks so much for your time.

Download Compile_proc.mw

Hey, to all!

First post here and after searching the web for answers I thought I'll ask it here.

haven't used Maple for a long time so I'm quite new in it.

I've solved a PDE in a numeric and in a analytic way and I want to the find the difference between the results.

I've come up with this:

1.2.mw

Had few tries with a few commands but for no success.

I seem to be able to find the specific value of the analytical solution but not the numeric one although it is solved.

Also I can't subtract to find the difference.

I will appreciate help in any kind,

Thank you!