diff options
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
| -rw-r--r-- | src/algebra/tableau.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/tableau.spad.pamphlet b/src/algebra/tableau.spad.pamphlet index a5432bec..a6177938 100644 --- a/src/algebra/tableau.spad.pamphlet +++ b/src/algebra/tableau.spad.pamphlet @@ -33,13 +33,11 @@ Tableau(S:SetCategory):Exports == Implementation where OUT ==> OutputForm V ==> Vector fm==>formMatrix$PrintableForm() - Exports ==> with + Exports ==> CoercibleTo OUT with tableau : L L S -> % ++ tableau(ll) converts a list of lists ll to a tableau. listOfLists : % -> L L S ++ listOfLists t converts a tableau t to a list of lists. - coerce : % -> OUT - ++ coerce(t) converts a tableau t to an output form. Implementation ==> add Rep := L L S |