diff options
| author | Georges Gonthier | 2015-12-01 17:45:46 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:20 +0000 |
| commit | 37f0673c5ecaf1325095f06f1eb8b1478313e5b1 (patch) | |
| tree | 01cc744c37aff4475dab077917ce6e671bfdb464 /mathcomp | |
| parent | 058ec3b9957553cdc8a82dae6d50f48d559f4fe4 (diff) | |
Move finfield to field module
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/Make | 2 | ||||
| -rw-r--r-- | mathcomp/character/Make | 1 | ||||
| -rw-r--r-- | mathcomp/character/all_character.v | 1 | ||||
| -rw-r--r-- | mathcomp/field/Make | 1 | ||||
| -rw-r--r-- | mathcomp/field/all_field.v | 1 | ||||
| -rw-r--r-- | mathcomp/field/finfield.v (renamed from mathcomp/character/finfield.v) | 0 |
6 files changed, 3 insertions, 3 deletions
diff --git a/mathcomp/Make b/mathcomp/Make index 66160b4..9f41de1 100644 --- a/mathcomp/Make +++ b/mathcomp/Make @@ -20,7 +20,6 @@ all/all.v character/all_character.v character/character.v character/classfun.v -character/finfield.v character/inertia.v character/integral_char.v character/mxabelem.v @@ -35,6 +34,7 @@ field/countalg.v field/cyclotomic.v field/falgebra.v field/fieldext.v +field/finfield.v field/galois.v field/separable.v fingroup/action.v diff --git a/mathcomp/character/Make b/mathcomp/character/Make index 6d1f18c..44f2660 100644 --- a/mathcomp/character/Make +++ b/mathcomp/character/Make @@ -1,7 +1,6 @@ all_character.v character.v classfun.v -finfield.v inertia.v integral_char.v mxabelem.v diff --git a/mathcomp/character/all_character.v b/mathcomp/character/all_character.v index 927d9a0..936fa6c 100644 --- a/mathcomp/character/all_character.v +++ b/mathcomp/character/all_character.v @@ -5,4 +5,3 @@ Require Export integral_char. Require Export mxabelem. Require Export mxrepresentation. Require Export vcharacter. -Require Export finfield.
\ No newline at end of file diff --git a/mathcomp/field/Make b/mathcomp/field/Make index 66b6d6a..00aa7a5 100644 --- a/mathcomp/field/Make +++ b/mathcomp/field/Make @@ -7,6 +7,7 @@ countalg.v cyclotomic.v falgebra.v fieldext.v +finfield.v galois.v separable.v diff --git a/mathcomp/field/all_field.v b/mathcomp/field/all_field.v index c26dbba..a57ac19 100644 --- a/mathcomp/field/all_field.v +++ b/mathcomp/field/all_field.v @@ -6,5 +6,6 @@ Require Export countalg. Require Export cyclotomic. Require Export falgebra. Require Export fieldext. +Require Export finfield. Require Export galois. Require Export separable. diff --git a/mathcomp/character/finfield.v b/mathcomp/field/finfield.v index 9fb1b99..9fb1b99 100644 --- a/mathcomp/character/finfield.v +++ b/mathcomp/field/finfield.v |