I'd like to have an algorithm for computing the ring of invariants of a reductive group (i.e. G acts on V, compute C[V]^G). I know that there are algorithms in existance for this, e.g. see http://www.math.lsa.umich.edu/~hderksen/Publications/invar1999.pdf. Does anyone know if this has been implemented in Maple, or where to find code in another language? Any ideas on what sort of data structure would be appropriate

assume not starting from resolvent of quartic,

how to find [[1,2],[3,4]] and [[1,3],[2,4]] and [[1,4],[2,3]] ?

a1*a2 + a3*a4 if [[1,3,2,4],[1,2]]

a1*a3 + a2*a4 if [2,3][[1,3,2,4],[1,2]]

a1*a4 + a2*a3 if [2,4],[[1,3,2,4],[1,2]]

moreover, i use multiplication of permutation group can not multiply below

though i know how to operate multiplication by hand, i follow the syntax to do multiplication, seems not the way

with(group):
mulperms([[2,3]], [[1,3,2,4],[1,2]]);
mulperms([[1,3,2,4],[1,2]], [[2,3]]);

mulperms([2,3], [[1,3,2,4],[1,2]]);
mulperms([[1,3,2,4],[1,2]], [2,3]);

how to find [[1,3,2,4],[1,2]] and [2,3][[1,3,2,4],[1,2]] and [2,4],[[1,3,2,4],[1,2]]?

and why Orbits(G) put permutation group into power, how to display the result of this power group?

i use this or quartic polynomials' resolvent

with(GroupTheory):
G := SpecialUnitaryGroup(3, 1);
Orbits(G);
Orbit(1,G);
Orbit(3,G);

hi all

i have tow equations and i want plot q vs.A , that A change beetwin 0..phi. vn and a are definite and positive.

plz plz help me

(diff(f,y))^2-(f[y]^4)/4+q^2/(f[y]^2)+(1+2*q^2)*(f[y]^2)/2=piecewise(y<-a,1/4+2*q^2,-a<y<a,vn*(f[y]^2)-vn+1/4+2*q^2,y>a,1/4+2*q^2);

phiB[infinity]=q*int(f,y=-infinity..infinity):
A:=phiB[infinity]:

Hi

I have this attched procedure "Alt_lisse1".

Why the result e1 does'nt take into account the known variables

Thanks

ALt_lisse1.mw

with(GroupTheory):
G := Group({[[1, 2]], [[3, 4]]});
Orbit(G);
G := Group({[[1, 2], [3, 4]]});
Orbit(G);

GroupTheory:-PermutationGroup(

{module () local cycles, p, d, work; option object; end module,

module () local cycles, p, d, work; option object; end module},

degree = 4)
Error, invalid input: GroupTheory:-Orbit expects its 1st argument, point, to be of type posint, but received module () local labels, minSupp, maxSupp, suppSize, AtkinsonsAlgorithm, IsSimpleGroupOrder, doDerivedSeries, doLowerCentralSeries, Intersection2, RightCosetRepresentatives, LeftCosetRepresentatives, PRA, `Giant?`, `Even?`, doStab1, doStab, CycleIndexMonomial; export generator_list, n, supergroup, Sylows, pCores, ModulePrint, ModuleDeconstruct, Generators, Orbit, Orbits, IsTransitive, Transitivity, IsPrimitive, GroupOrder, Elements, IsAbelian, IsElementary, IsSimple, ConjugacyClass, ConjugacyClasses, CayleyTable, Centre, DerivedSubgrou...
GroupTheory:-PermutationGroup(

{module () local cycles, p, d, work; option object; end module},

degree = 4)
Error, invalid input: GroupTheory:-Orbit expects its 1st argument, point, to be of type posint, but received module () local labels, minSupp, maxSupp, suppSize, AtkinsonsAlgorithm, IsSimpleGroupOrder, doDerivedSeries, doLowerCentralSeries, Intersection2, RightCosetRepresentatives, LeftCosetRepresentatives, PRA, `Giant?`, `Even?`, doStab1, doStab, CycleIndexMonomial; export generator_list, n, supergroup, Sylows, pCores, ModulePrint, ModuleDeconstruct, Generators, Orbit, Orbits, IsTransitive, Transitivity, IsPrimitive, GroupOrder, Elements, IsAbelian, IsElementary, IsSimple, ConjugacyClass, ConjugacyClasses, CayleyTable, Centre, DerivedSubgrou...

how to calculate Ferrari resolvent of x^4-c1*x^3+c2*x^2-c3*x+c4

I need export a r-matrix 300x300 and i received this:

Error, (in ExcelTools:-Export) Export failed. Verify that the exported table does not contain more than 255 columns and 65535 rows.

How can I export this matrix?

I was using Maple18 for the Ideal Membership Problem. While checking it I got the following error

Error, (in F4:-GroebnerBasis) argument `[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-48,-48,48,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]/A1[119295][119295]` is incorrect or out of order

Please tell me, how can I resolve this error ?.

Thank You.

i find that Suzuki group is very large, 

and finding subrgoup is still not solved 

and when find subgroup of suzuki group that is very slow

i would like to find two subgroup which are not isomorphric and then

prove a normaliser that make them isomorphric

with(GroupTheory):
G := SuzukiGroup();
IsFinite(G);
gorder := GroupOrder(G);
ifactor(gorder);
spg := SylowSubgroup(2, G);
IsAbelian(spg);
Elements(spg);
lprint(%);
H := Subgroup(Elements(G), spg);
N := Normaliser(G, spg);
#N := Normaliser(spg, G);
Elements(N);
lprint(%);
Elements(G);
H2 := Subgroup({[[5,2],[3,4]]}, G);
H2 := Subgroup(Elements(G), G);
elements2 := convert(Elements(G), 'list');
generators := map(ListTools:-Search, [Perm([[1,2,3]])], elements2);
H2 := Subgroup([52], G);
SubgroupMembership(H2, G);
H2 := Subgroup([3], G);
elist := Elements(H2);
AreConjugate(elist[2], elist[3], N); #N*elist[1]*N^(-1) = elist[2]
for ii from 1 to nops(elist) do
for jj from ii+1 to nops(elist) do
if AreIsomorphic(Group(elist[ii]),Group(elist[jj])) = false then
print("noniso");
print(ii);
print(jj);
end if:
od:
od:
AreConjugate(elist[8], elist[22], N); #N*elist[1]*N^(-1) = elist[2]

Hi,

Would anyone know how to customize the CompleteSquare function. Reason is I am trying to extend it to complex numbers. Examples below. (Unfortunately the text editor is playing up but if you could copy and paste the text below in your Maple you should be able to see it more clearly).

eqn1 := x__1^2+4*x__1*x__2+2*x__2^2;

with(Student[Precalculus]):

CompleteSquare(eqn1, [x__1, x__2]);

This gives the answer below which is correct.

2*(x__2+x__1)^2-x__1^2

However consider the complex function below:

x__1*conjugate(x__1)-conjugate(x__1)*x__2+3*conjugate(x__1)*x__3-conjugate(x__2)*x__1+2*x__2*conjugate(x__2)+3*conjugate(x__3)*x__1+14*x__3*conjugate(x__3)

I am trying to factorize this into the following:

(x__1-x__2+3*x__3)*(conjugate(x__1)-conjugate(x__2)+3*conjugate(x__3))+(x__2+3*x__3)*(conjugate(x__2)+3*conjugate(x__3))-4*x__3*conjugate(x__3)

The technique I am trying is to first try to come up with a generalized form of the CompleteSquare function and then try to extend it to complex factorization but so far haven't been successful.

Any useful comments appreciated.

I have some differential equations that I want to plot on the same axis (as i have below), but would like to plot with a log scale to illustrate the fact that one is simply a logarithmic decay (solid line) and all the others are not.

I had used deplot and display to make the above graph,

but if you want more detail, here is a worksheet with the relevant differntial equations:
MaplePrimesGraphUpload.mw

i use normaliser's example's code in maple help file

generators is [50] originally, then i calculated again , it become [51], [52], [53] , i do not know whether virus change my library

https://drive.google.com/file/d/0Bxs_ao6uuBDUb1VzaWQwQlBYLWs/view?usp=sharing

then i use another computer to calculate, the result is [50]

then i further calculate subgroup got error below

with(GroupTheory):
with(group):
G := AlternatingGroup(5);
IsFinite(G);
GroupOrder(G);
spg := SylowSubgroup(5, G);
IsAbelian(spg);
Elements(spg);
lprint(%);
H := Subgroup(Elements(G), spg);
N := Normaliser(G, spg);
#N := Normaliser(spg, G);
Elements(N);
lprint(%);
Elements(G);
H2 := Subgroup({[[5,2],[3,4]]}, G);
H2 := Subgroup(Elements(G), G);
elements2 := convert(Elements(G), 'list');
generators := map(ListTools:-Search, [Perm([[1,2,3]])], elements2);
H2 := Subgroup(generators, G);

H2 := Subgroup(Perm([generators]), G);
Error, invalid input: GroupTheory:-Subgroup expects its 1st argument, generators, to be of type {list, set, identical(undefined)}, but received module () local cycles, p, d, work; option object; end module
H2 := Subgroup(generators, G);
Error, (in Perm:-normalform) invalid input: map expects 2 or more arguments, but received 1

SubgroupMembership(H2, G);

Hello everyone,

I'm new at maple.Sorry if this question asked before me, but i couldnt find it.

As i said i am new

so when I open new document (mode) at maple2015 i can do basic calculations for instance additon substraction multipicitaions. But when i want the  calculate x^2+5-3 and enter it supposed to be say to me blue line as a answer. But maple says nothing.

is there any point that i missing? 

Thank you very much all you in advance.

When I wish to perform a "save as" or "export" operation on the menu bar, how do I make Maple default to the same directory as the file is located? On one of my installations, once I select a file, the directory becomes the default "save as" or "export" directory. On my other installation, it first offers me to save to the desktop and I have to search for the subdirectory desired. (This difference occurs across many versions of Maple). Installation is Windows 10.