The operator before math.pow disappear

https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!381&v=3

after change, same error

> with(PIR); RPP := `PIR/homalg`; `homalg/default` := RPP;
Error, invalid input: with expects its 1st argument, pname, to be of type {`module`, package}, but received PIR
PIR/homalg
PIR/homalg
> march('open', "D:/homoalg/homalg.lib");
"D:\Maple 15/lib", "D:\Maple 15\toolbox\NAG\lib",

"D:/homoalg/homalg.lib"
> var := [I]; PIR['Pvar'](var);
[I]
PIR[Pvar]([I])
> M := homalg['Cokernel']([[1, 2, 4, 6], [6*(1+I), 3*(6*(1+I)), 4*(6*(1+I)), 5*(6*(1+I))]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
> M := homalg['Cokernel']([[1, 2, 4, 6], [6, 6*3, 6*4, 6*5]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
> M := homalg[Cokernel]([[1, 2, 4, 6], [6, 6*3, 6*4, 6*5]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
>

https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!381&v=3

after change, same error

> with(PIR); RPP := `PIR/homalg`; `homalg/default` := RPP;
Error, invalid input: with expects its 1st argument, pname, to be of type {`module`, package}, but received PIR
PIR/homalg
PIR/homalg
> march('open', "D:/homoalg/homalg.lib");
"D:\Maple 15/lib", "D:\Maple 15\toolbox\NAG\lib",

"D:/homoalg/homalg.lib"
> var := [I]; PIR['Pvar'](var);
[I]
PIR[Pvar]([I])
> M := homalg['Cokernel']([[1, 2, 4, 6], [6*(1+I), 3*(6*(1+I)), 4*(6*(1+I)), 5*(6*(1+I))]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
> M := homalg['Cokernel']([[1, 2, 4, 6], [6, 6*3, 6*4, 6*5]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
> M := homalg[Cokernel]([[1, 2, 4, 6], [6, 6*3, 6*4, 6*5]], var);
Error, (in homalg/tablename) Since homalg/default is not defined, the last argument must be a table containing the (minimum) homalg conversions or an unassigned symbol pointing to such a table!
>

@Preben Alsholm 

f is distribution function, or may be pdf, i forget, it is a normal distribution

u is byproduct.

i just discover my invent related with right angled triangle, however, i expect more, for example, other shape

@Carl Love 

google find, http://www.math.lsa.umich.edu/~jrs/software/posets2.4v.txt

a := f(x,y) = f(y,x)

actually i concern the definition, not for the implementation of f

i would like to compare first parameter of left side and first parameter of right side

to make permutation group

1 2

2 1

a := f(x,y) = f(y,x)

actually i concern the definition, not for the implementation of f

i would like to compare first parameter of left side and first parameter of right side

to make permutation group

1 2

2 1

it is much more clear and easy to manipulate

it is much more clear and easy to manipulate

@Carl Love 

how to make this matrix to a finite group to start off ?

i find something below

http://en.wikipedia.org/wiki/Matrix_group

M1b1 = b2, M1b2 = b3 and M1b3 = b1

does it mean that if i calculate the basis from finite group matrix

and then use this matrix times its basis to see equal to which another basis,

then in this example is 1 -> 2, 2 -> 3, 3-> 1

does it mean the permutation group is

1 2 3

2 3 1

if so, do i need the process in previous post ?

@Carl Love 

how to make this matrix to a finite group to start off ?

i find something below

http://en.wikipedia.org/wiki/Matrix_group

M1b1 = b2, M1b2 = b3 and M1b3 = b1

does it mean that if i calculate the basis from finite group matrix

and then use this matrix times its basis to see equal to which another basis,

then in this example is 1 -> 2, 2 -> 3, 3-> 1

does it mean the permutation group is

1 2 3

2 3 1

if so, do i need the process in previous post ?

goal is to find permutation group from finite group

Example

 finite group = matrix([[1, 1],[0, 1]])

firstly find a mapping from permutation group to kernel of action of G on right coset of subgroup H

i do with

rightcoset(stablizer(finite group)) * core(stablizer(finite group))^(-1)

as i am not sure * is composition or multiply, assume one of them

after find this mapping, how to find the permutation group

H is stablizer of G

i do it from a diagram below

permutation group --------> right coset of H, 
kernel of action of G ----> right coset of H

so firstly to find permutation group ---> kernel of action of G

is ker(permutation group ---> kernel of action of G) a permutation group ?

does maple have this ker function in maple 15?

update question diagram https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!363

can core this function be normalizer inhttp://www.maplesoft.com/support/help/Maple/view.aspx?path=group/normalizer, but it has two parameters, which one fill into which one

goal is to find permutation group from finite group

Example

 finite group = matrix([[1, 1],[0, 1]])

firstly find a mapping from permutation group to kernel of action of G on right coset of subgroup H

i do with

rightcoset(stablizer(finite group)) * core(stablizer(finite group))^(-1)

as i am not sure * is composition or multiply, assume one of them

after find this mapping, how to find the permutation group

H is stablizer of G

i do it from a diagram below

permutation group --------> right coset of H, 
kernel of action of G ----> right coset of H

so firstly to find permutation group ---> kernel of action of G

is ker(permutation group ---> kernel of action of G) a permutation group ?

does maple have this ker function in maple 15?

update question diagram https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!363

can core this function be normalizer inhttp://www.maplesoft.com/support/help/Maple/view.aspx?path=group/normalizer, but it has two parameters, which one fill into which one

https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!362

look at the diagram, x and y are not permutation group and not permutation matrix ?!

it is conflict with my understanding

how to change x and y into permutation group in maple?

https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!362

look at the diagram, x and y are not permutation group and not permutation matrix ?!

it is conflict with my understanding

how to change x and y into permutation group in maple?