From ee0752b8f06877432be86987f8e7df27e6c8ef2a Mon Sep 17 00:00:00 2001
From: Alcibiades <89996683+0xAlcibiades@users.noreply.github.com>
Date: Mon, 9 Sep 2024 21:20:27 -0400
Subject: [PATCH] Revert "feat: Scalar type for finite fields"

---
 src/lib.rs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 25f3252..e412b12 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -411,14 +411,11 @@ pub trait Field: EuclideanDomain + MultiplicativeAbelianGroup {}
 /// # Properties
 /// - The number of elements is always a prime power p^n
 pub trait FiniteField: Field {
-    ///allos for an arbitrary size representation without specificing type 
-    type ScalarType: Clone + PartialOrd + Zero + One + Debug;
-
     /// Returns the characteristic of the field.
-    fn characteristic() -> Self::ScalarType;
+    fn characteristic() -> u64;
 
     /// Returns the number of elements in the field.
-    fn order() -> Self::ScalarType;
+    fn order() -> u64;
 }
 
 /// Represents an Ordered Field, a field with a total order compatible with its operations.