-- -*- M2-comint -*- hash: 14280224154537991711

i1 : QQ[x];

i2 : f = {x^2 + 1};

i3 : getGlobalA1Degree f

o3 = | 0 1 |
     | 1 0 |

o3 : GrothendieckWittClass

i4 : QQ[x,y];

i5 : f = {x^3 - x^2 - y, y};

i6 : getGlobalA1Degree f

o6 = | 0  -1 1 |
     | -1 1  0 |
     | 1  0  0 |

o6 : GrothendieckWittClass

i7 : point1 = ideal(x - 1, y);

o7 : Ideal of QQ[x..y]

i8 : point2 = ideal(x, y);

o8 : Ideal of QQ[x..y]

i9 : getGlobalA1Degree f

o9 = | 0  -1 1 |
     | -1 1  0 |
     | 1  0  0 |

o9 : GrothendieckWittClass

i10 : getLocalA1Degree(f, point1)

o10 = | 1 |

o10 : GrothendieckWittClass

i11 : getLocalA1Degree(f, point2)

o11 = | 0  -1 |
      | -1 1  |

o11 : GrothendieckWittClass

i12 : isIsomorphicForm(getGlobalA1Degree f, addGW(getLocalA1Degree(f, point1), getLocalA1Degree(f, point2)))

o12 = true

i13 : 
