"Source: Text/Algebra/AlgAss.text";
"Line: 813";
"Date: Mon Aug 13 23:00:02 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgAss.text, line: 813
// Example: H88E5 ()
print "Example: H88E5";
ei := GetEchoInput();
SetEchoInput(true);
P<x> := PolynomialRing(Rationals());
F<b> := NumberField(x^3-3*x-1);
Z_F := MaximalOrder(F);
A<alpha,beta,alphabeta> := QuaternionAlgebra<F | -3,b>;
M := MatrixAlgebra(F,4) ! 1;
I := [ideal<Z_F | 1> : i in [1..4]];
O := Order(A, M, I);
O;
P := PseudoMatrix(I, M);
O := Order(A, P);
O;
O := Order([alpha,beta]);
O;
SetEchoInput(ei);
