"Source: Text/Algebra/AlgAss.text";
"Line: 817";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgAss.text, line: 817
// Example: H90E5 ()
print "Example: H90E5";
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);
