Given an order S it returns two sequences: the first containis the primes
at which S is locally not Gorenstein; the second contains the Cohen Macaulay
types of S at these primes, that is, the dimension of St/PSt over S/P,
where St is the TraceDualIdeal of S.
Given an order S and a prime ideal P, it returns its Cohen-Macaulay Type
at P. This integer equals the dimension of St/P * St where St is the
trace dual of S.
Given an order S returns its Cohen-Macaulay Type. This integer equals the max
dimension of St/P * St where St is the trace dual of S and P runs over
all (non-Gorenstein) primes of S.
V2.29, 21 October 2025