## 520 Reputation

9 years, 170 days

## Social Networks and Content at Maplesoft.com

Seldom to ask question after retired math hobby Just waiting for beauty who born in 1994 And waited for her email to mavio@protonmail.com What is the difference in ownership among different universe?

## How to calculate the image of ideal in m...

Maple

below code is calculate basis of kernel and kernel

i guess basis of image is

`remove(has, Ga, [r,u,v,w]); if this correct, i eliminate this, i can get the image`
`however it include variable 'a'`
`is it correct? if not, how to calculate? `
`my final goal is to make unexact sequence into exact sequence`

## how to remove the ideal of intersection ...

Maple

after union ideal I and J, how to remove the intersection of I and J in order to do primedecomposition?

## how to add type w in order to remove any...

Maple
`G1 := [v*y-w*x, r*y-u*x, -v*u+w*r, u*y^2-v*x^2, u^2*y-v*r*x, u*w*y-v^2*x, u^3-v*r^2, u^2*w-v^2*r, -v^3+u*w^2, x^4-r, x^3*y-u, x*y^3-v, y^4-w, w*y^2*x^2-v^2];`
`TypeTools[AddType](`w`,typefunc(string, symbol));L:= `if`(G1::`w`, [op], '[]')(G1);`
` `
`it seems above code incorrect.`

## Why do match and solve not work in this...

Maple
`restart;with(Groebner):g1 := x^2-w*y;g2 := x*y-w*z;g3 := y^2-x*z;S13 := -y^3*w+x^3*z;eq1:= S13 = h131*g1 + h132*g2 + h133*g3;`
`hsol := solve(identity(eq1, x), [h131, h132, h133]);match(eq1,{x,y,z,w},'s');s;`
` `
`h131 should be x*z`
`h312 should be 0`
`h133 should be -y*w`
` `

## why i put in notepad and type again and ...

Maple

`if`(p::`+`, nops, 1)(p);

'if'(p::'w', nops,1)(p);

w not exist

 First 133 134 135 136 137 138 139 Page 135 of 141
﻿