is there a library storing all kinds of equivalence relations?
https://en.wikipedia.org/wiki/Equivalence_relation
For quotient groups, is there IsEquivalenceRelation and IsEquivalenceClass like gap system?
www.gap-system.org/Manuals/doc/ref/chap33.html
like
f := FreeGroup( "a", "b" );
g := f / [f.1^2, f.2^3, (f.1*f.2)^5];

when i paste words here, most words missing, is there being hacked?

Hi,

  Suppose I have a probability distribution function f(x). I would like to generate points in a 

(1) given interval, can be up to infinity

(2) number of points

(3) satisfy the known probability distribution function f(x)

(4) possible other specifications

  Is there any build-in option in maple I could use? Or I have to write something manually?

Thank you very much!

I want to calculate

Lim _x-->1⁺ ([X²]-1)/([X]-1)

I let  x=1+c  and  _c-->0⁺  then we have [X²]=[c²+2c+1]=[2c]+1

Lim _x-->1⁺ ([X²]-1)/([X]-1) = Lim _c-->0⁺ [2c]/[c]

Maple shows the both limitations equal to zero

I want know how maple claculates it

Download Define_Question.mwDefine_Question.mw

If there is  an equation or are several equations, I need to obtain all the roots, how can I do???

fsolve ? rootfindings? or what?

If an examples of actual is given,  That will be perfect  !!!

Thanks 

with this simple circuit i found a wrong simulation result : look at the probe 3 value.  someone could help me please ?

The same error i found in this circuit (binary adder)

Given an almost contact metric manifold M(\phi,\xi,\eta, g), we say
that M is a generalized Sasakian-space-form if there exist three functions f1, f2, f3
on M such that the curvature tensor R is given by

R(X,Y)Z=f_1{g(Y,Z)X-g(X,Z)Y}+f_2{g(X,\phiZ)\phiY-g(Y,\phiZ)\phiX+2g(X,\phiY)\phiZ}+f_3{\eta(X)\eta(Z)Y-\eta(Y)\eta(Z)X+gg(X,Z)\eta(Y)\xi-g(Y,Z)\eta(X)\xi}

In (2n+1) dimensional generalized Sasakian space form M²ⁿ⁺¹(f_1,f_2,f_3), we have the following relations.

S(X,Y)=(2nf_1+3f_2-f_3)g(X,Y)-(3f_2+(2n-1)f_3)\eta(X)\eta(Y)

S(X,\xi)=2n(f_1-f_3)\eta(X)

C\bar(\xi,X)Y=[f_1-f_3-(r/2n(2n-1))][g(X,Y)\xi-\eta(Y)X]

P(X,Y)Z=R(X,Y)Z-(1/(n-1))[S(Y,Z)X-S(X,Z)Y]

R(X,Y)\xi=(f_1-f_3){\eta(Y)X-\eta(X)Y}

R(\xi,X)Y=(f_1-f_3){g(X,Y)\xi-\eta(Y)X}

for any vector fields X, Y on M, where R, S, C\bar, and r denote the Riemannian curvature tensor, Ricci tensor, concircular curvature tensor and scalar curvature of M²ⁿ⁺¹(f1, f2, f3), respectively 

Using above equations I have to evaluate P(C\bar(\xi,X)Y,Z)U.

Manually It is tedious job. Can we find the value by maple? Is there any option to solve these type of problems?

If yes, I can solve many more, which helps a lot in my work.. Thanks in advance.

My exposure to the topic of Fourier Transforms is very cursory--maybe a few weeks work as part of an undergraduate math course (in an engineering program.) However, I am now returning to the subject for a while and, reading material, noticed that some routines scale the Fourier coefficients differently. So now I am wondering: Why do different routines scale the coefficients differently? If the purpose of the Fourier Transform is to extract the components of circular motion from data, shouldn't it all work out the same?

https://en.wikipedia.org/wiki/Surgery_theory

glue two geometric object

i use maple 17, 

will future version of maple do this?

or which software can do this?

I want to paste a list of points generated by another program into a maple worksheet. 

However, when I paste the list of points into the Maple worksheet, I get a command prompt after each defined point in the list.  Whereby, the executable code will not run.

I need a way to paste the list of points into the worksheet without any command prompts.  Is there a special entry mode?  

Here's the list of points I want to paste into the worksheet:

[

[20,0,0],

[20,4,0],

[19,8,0],

[17,11,0],

[14,14,0],

[11,17,0]

],

Below is the worksheet code that I want to paste the list of points.

However, when I paste the list of points within the "pointPlot3D" function -- I get a command prompt after each defined point in the list of points.  (So 30 points gives 30 command prompts.)  Whereby, when this code is executed, there is an error.    What I need is a means to paste this list of points into the worksheet WITHOUT the command prompts showing up. 

> with(geom3d):

> with(plots):

> sphere1:=(x,y,z,R)->[x+R*cos(phi)*cos(theta),y+R*cos(phi)*sin(theta),z+R*sin(phi)]:

> Explore(display(        

       plot3d(sphere1(0,0,0,Rp),phi=-Pi/2..Pi/2,theta=0..2*Pi),  

               scaling = constrained, axes = boxed, style=wireframe, labels=[x,y,z],                

       pointplot3d(

> [
> [20,0,0],
> [20,4,0],
> [19,8,0],
> [17,11,0],
> [14,14,0],
> [11,17,0]

> ],

               symbol=circle,symbolsize=10)  ),        

       parameters=[Rp=3..20],         initialvalues=[Rp=20] );

Hello, I have a similary issue with the following post :

http://www.mapleprimes.com/questions/200835-Algsubs-With-Subscripts-And-Powers

In a constraint equation (in mechanics), I need to make these algebraic substitutions :

--> sqrt(xA1² + yA1²) =rF1 
--> arctan(abs(yA1)/abs(xA1)) = aF1
--> sqrt(xC1^2+yC1^2) = rBTP
--> arctan(abs(yC1)/abs(xC1))=a1

I try to do it with this code :

ListAlgsubs:={sqrt(xA1^2+yA1^2)=rF1,sqrt(xA2^2+yA2^2)=rF2,sqrt(xA3^2+yA3^2)=rF3, sqrt(xA4^2+yA4^2)=rF4,arctan(abs(yA1)/abs(xA1))=aF1,-arctan(abs(yA2)/abs(xA2))=aF2,pi+arctan(abs(yA3)/abs(xA3))=aF3,pi-arctan(abs(yA4)/abs(xA4))=aF4,sqrt(xC1^2+yC1^2)=rBTP,arctan(abs(yC1)/abs(xC1))=a1};
for i from 1 to nops(ListAlgsubs)
do Branch1Cons:=applyrule(op(i,ListAlgsubs),Branch1Cons)
end do:
Branch1Cons:= simplify(Branch1Cons);

I have tried with algsubs or applyrule but it wasn't successfull in both cases.

Do you have an idea how can I do to simplify my expressions ? and namely conduct a good use of applyrule function

I join an extract of my code in order to facilitate the troubleshooting.

example.mw

Thanks a lot for your help.

Dears, When I run calculation in Maple I found an error in matrices. See the file

Hi, I have 10 equation system and 10 unknown variables. I however, want to reduce the equations to 2 with two unknowns. I'm wondering how this could be done in maple. The variables are Y, q, y^d, y^*, y^x, H,  p^d, w, P and Pv. I intend to solve the equations for Y and w. 

Thanks in advance for your help. The maple file has also been attached.

Regards

Small_Open_Economy.mw

Download D.T.M.mw

Download shooting_method.mw

Thank you so much for your time. Here's the real problem

f'''(η) + 3f(η)f''(η) - 2[f'(η)] 2 + θ(η) - m*f'(η) = 0

θ''(η) + 3*Pr*f(η)θ'(η) + s*θ(η) = 0

Boundary conditions are:

at η=0: f(η)=f'(η)=0; θ(η)=1;

as η→∞ f'(η)=1; θ(η)=0;

Where m = magnetic parameter (in this case taken as 2)

S = shrinking parameter (in this case taken as 1)

Pr = taken as 1 too

I haven't been able to solve this using differential transforms method (i.e getting the values of f''(0) and θ'(0) denoted by A and B respectively) but shooting method works just fine. :( I seriously need help with this. Thanks you in advance.
I've attached my codes above and i'm hoping someone helps me out real soon. thanks very one.