Goodstein Sequence: Difference between revisions

Content deleted Content added

Inline

@@ Line 61: / Line 61: @@
 struct HRTuple <: HereditaryRepresentation
-    mult::BigInt
+    mult::Int
     exp::GBase
 end
 struct HRVector <: HereditaryRepresentation
-    mult::BigInt
+    mult::Int
     exp::Vector{HereditaryRepresentation}
 end