Merge pull request #108 from wbhart/abstract_module

Add abstract module and module element types.
wbhart · Dec 19, 2016 · 50c3550 · 50c3550
2 parents 370480a + 3f90a59
commit 50c3550
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/AbstractTypes.jl b/src/AbstractTypes.jl
@@ -25,6 +25,14 @@
 
    abstract FieldElem <: RingElem
 
+# parameterized domains
+
+   abstract Module{T <: RingElem} <: Group
+
+# elements of parameterised domains
+
+   abstract ModuleElem{T <: RingElem} <: GroupElem
+
 # rings, fields etc, parameterised by an element type
 # these are the type classes of different kinds of
 # mathematical rings/fields/etc, which have a base ring,
@@ -74,4 +82,4 @@
 # collections of types as needed by applications
 
    abstract FinFieldElem <: FieldElem # for fq, fq_nmod, etc
-
+