As of May 4 2007 the scripts will autodetect your timezone settings. Nothing here has to be changed, but there are a few things

Tuesday, July 10, 2007

Some progress on Macaulay2 skills

Worked on MT4517 exercises chapter 2.

Show that { a + bX + cX^2 | a,b,c in Z2 and X^3 = 1 + X } is a field and calculate inverses of X, X^2 and 1+X.

Simple.

i96 : describe(R)

ZZ
-- [X]
2
o96 = ----------
3
X  + X + 1

i97 : ( (X)_R )^-1

2
o97 = X  + 1

o97 : R

i98 : ( (X^2) )^-1

2
o98 = X  + X + 1

o98 : R

i99 : ( (1+X)_R )^-1

2
o99 = X  + X

o99 : R


It would be cool to be able to do something like asList(R) where Macaulay2 should reply with 0, 1, 1+X, 1+X^2, etc.

For now I'll do it like this.

i136 : i=0; while i < 7 list (R_0)^i do i = i+1

2          2       2           2
o137 = {1, X, X , X + 1, X  + X, X  + X + 1, X  + 1}

o137 : List


Welcome to The Bridge

Mathematics: is it the fabric of MEST?
This is my voyage
My continuous mission
To uncover hidden structures
To create new theorems and proofs
To boldly go where no man has gone before

(Raumpatrouille – Die phantastischen Abenteuer des Raumschiffes Orion, colloquially aka Raumpatrouille Orion was the first German science fiction television series. Its seven episodes were broadcast by ARD beginning September 17, 1966. The series has since acquired cult status in Germany. Broadcast six years before Star Trek first aired in West Germany (in 1972), it became a huge success.)