write a maple package for quaternion polynomials.it must include the following procedures:

1) for quaternion polynomials f, g:  find degree of f , compute f +g ,f-g, fg.

2)for matrices over quarternion polynomials A,B: compute A+B,A-B, AB.

hint using records to represent quaternions.

Greetings folks,

I need to perform Gauss Jordan Elimination on a 7x10 Matrix, returning the row reduced echolon form. The matrix entries itself are sums of several variable products, where the variables itself are sometimes exponential. The link provides an excerpt of said matrix for illustration.

https://www.dropbox.com/s/p9lyg8tmk0hpbbj/polyGLS7rows.png

I tried solving this with MatLab Mupad, but to no avail, at some point the calculation runs out of memory. Simplification of the expressions didn't help either.

Tried the same with Maple. It doesn't run out of memory but looses connection with the kernel at some point.

I'd be glad about some suggestion about how to solve this problem. Basically I want to reproduce the process of the following paper: http://www.inf.ethz.ch/personal/pomarc/pubs/FraundorferECCV10.pdf

The paper itself cites using the Gröbner basis package of Maple for reaching a solution so maybe I am missing something out.

Any help is greatly appreciated

Regards,

JCR

Edit: Exponential functions reside in the lower part of the matrix. Path to Maple Worksheet https://www.dropbox.com/s/xb99xlddba57cs7/GLSPoly7rows.mw

Maple crashed while saving and now there is nothing in my file. Lost a bunch of work, any way to fix it?

Thanks
EquationSheet357.mw

(x+y)(x²+y²⁾ = 5500

(x-y)(x²-y²⁾ = 352

hi,i want to take differential with respect to another differential using physics package,but using D instead of diff,could anyone help me do that ? for example :

restart; with(Physics):
A1 := -(1/24)*1*rho*((diff(phi[1](x, t), t))^2)*(h^3)-(1/2)*1*rho*((diff(u[ref](x, t), t))^2)*h-(1/2)*rho*((diff(w(x, t), t))^2)*h+(1/24)*1*1*((diff(phi[1](x, t), x))^2)*(h^3)+(1/2)*1*(1*((diff(u[ref](x, t), x)+(1/2)*(diff(w(x, t), x))^2)^2)+K*1*((diff(w(x, t), x)+phi[1](x, t))^2))*h-1*q*w(x, t):

A2:=-diff(diff(A1,diff(u[ref](x,t),x)),x);

here i want to compute A2 using D command,not diff and i do not want use convert command ! i just need to calculate A2 directly using D command. tnx for your help.

how to transform

Matrix([[1,0,0],[1,0,0],[0,0,0]])

to

Matrix([[0,0,0],[0,0,1],[0,0,1]])

(a) Design your own 3-stage explicit Runge-Kutta method with one-step error O(h4).

(b) Test your method by solving y′ = −y. Confirm that the global error in your numerical solution

is O(h3).

Write a Maple procedure that solves for y(1) in the initial value problem

                     y′ = f(y),     y(0) = 1,

using a numerical stencil based on the nth order Taylor series expansion of y. The procedure’s arguments should include an arbitrary function f, an integer n representing the accuracy of the Taylor series expansion, another integer N representing the number of steps between x = 0 and x = 1. Pick a test problem and compare your results with the output of dsolve/numeric.

restart:

Eq1:=S*diff(f(x,t),x,t)+diff(f(x,t),x)^2-f(x,t)*diff(f(x,t),x$2)=diff(f(x,t),x$3);

BCs := {D[1](f)(0,t)=cos(t), f(0,t)=0,D[1](f)(L,t)=0};

ICs := {f(x,0)=0};

S:=10:L:=5:
smod3:= pdsolve(Eq1,ICs union BCs,numeric,range=0..L);

smod3:-plot(t=0,  color=red):

it seems to me that the problem is due to the mixed bcs. Any way around?

Cheers!

1.which rules or theorems can guide to generate relations for words in group theory?

2.Is topological method such as complexes the direction to answer Question 1?

I am running a set of diffrential equation , but i receive below error

"Error, (in LL) cannot evaluate the solution past the initial point, problem may be complex, initially singular or improperly set up"

I can't understand the problem

I suppose you would have to programme this, because I couldn't find anything relating to vector spaces in my Maplesoft Linear Algebra tutor or package.

My question really is, you have a problem like, the set of all pairs of real numbers of the form (1,x) with the operations (1,y)+(1,y')=(1,y+y') and k(1,y)=(1,ky) 

( ^ taken straight out of my homework haha)

and you run through the 10 vecctor space axioms to determine whether it fails and it not a vector space, or it passes all and it is a vector space.

Is there a way to do this in Maplesoft?

which method i input a series of random number it output a periodic waveform

Hello dear all,

I use maple 16, x64. When I run this code:

Student[Calculus1][ApproximateInt](cos(y/(-1+y)), y = 0 .. 1, method = lower, iterations = 1)

it results in "0.0667344650", exactly equal with the result of executing

Student[Calculus1][ApproximateInt](cos(y/(-1+y)), y = 0 .. 1, method = lower, iterations = 10000000000)

Any idea?

Best regards

How to do composition for finite group?

is the composition like permutation group ?

if express finite group like permutation group,

if so, can elements in first row duplicate? can the second row duplicate?

however, do not know how to map when there are more than or equal two choices

my guess is that

if finite group can be expressed into permutation group

for example 3*3 matrx, each column is a permutation group

then there will be 3 permutation groups, when do composition , first column's permutation group composite with first column's permutation group , second composite with second etc

is it right?