#include <intbig.h>
#include <quaternion.h>
#define NUM_ALTERNATE_EXTREMAL_ORDERS 7
extern const quat_alg_t QUATALG_PINFTY;
extern const quat_order_t MAXORD_O0;
extern const quat_p_extremal_maximal_order_t STANDARD_EXTREMAL_ORDER;
extern const quat_p_extremal_maximal_order_t ALTERNATE_EXTREMAL_ORDERS[7];
