Using some lib for bigints

vorpal-research · Aug 21, 2020 · ba36629 · ba36629
1 parent 4f92096
commit ba36629
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 deletions.
diff --git a/pom.xml b/pom.xml
@@ -12,7 +12,7 @@
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <kotlin.version>1.3.72</kotlin.version>
+        <kotlin.version>1.4.0</kotlin.version>
         <kotlin.code.style>official</kotlin.code.style>
         <junit.version>4.12</junit.version>
     </properties>
@@ -39,6 +39,11 @@
             <artifactId>kotlinx-collections-immutable-jvm</artifactId>
             <version>0.3.2</version>
         </dependency>
+        <dependency>
+            <groupId>com.ionspin.kotlin</groupId>
+            <artifactId>bignum-jvm</artifactId>
+            <version>0.2.0</version>
+        </dependency>
     </dependencies>
 
     <build>

diff --git a/src/main/kotlin/ru/spbstu/logic/Main.kt b/src/main/kotlin/ru/spbstu/logic/Main.kt
@@ -26,7 +26,8 @@ fun main(args: Array<String>) {
         var b by vars
         var c by vars
         var d by vars
-        eqlO(a, b)
+        a = nat(30)
+        mulO(a, b, c)
         //x = nat(3)
 
     }

diff --git a/src/main/kotlin/ru/spbstu/logic/lib/Reify.kt b/src/main/kotlin/ru/spbstu/logic/lib/Reify.kt
@@ -1,12 +1,16 @@
 package ru.spbstu.logic.lib
 
+import com.ionspin.kotlin.bignum.integer.BigInteger
+import com.ionspin.kotlin.bignum.integer.*
 import kotlinx.collections.immutable.PersistentList
 import kotlinx.collections.immutable.persistentListOf
 import kotlinx.collections.immutable.plus
 import ru.spbstu.logic.App
 import ru.spbstu.logic.Constant
 import ru.spbstu.logic.Expr
-import java.math.BigInteger
+import ru.spbstu.wheels.tryEx
+
+fun String.toBigIntegerOrNull(): BigInteger? = tryEx { toBigInteger() }.getOrNull()
 
 fun reifyAsNumber(expr: Expr): BigInteger? = run {
     when (expr) {