/* * MIT License * * Copyright (c) 2002-2025 Mikko Tommila * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal * in the Software without restriction, including without limitation the rights * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell * copies of the Software, and to permit persons to whom the Software is * furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in all * copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ package org.apfloat.jscience; import java.io.StringReader; import java.io.StringWriter; import java.math.BigInteger; import java.util.HashSet; import java.util.Random; import org.apfloat.*; import org.jscience.mathematics.function.*; import org.jscience.mathematics.vector.*; import javolution.text.*; import javolution.xml.*; import javolution.xml.stream.*; import junit.framework.TestSuite; /** * @since 1.8.0 * @version 1.15.0 * @author Mikko Tommila */ public class ModuloApintFieldTest extends ApfloatTestCase { public ModuloApintFieldTest(String methodName) { super(methodName); } public static void main(String[] args) { junit.textui.TestRunner.run(suite()); } public static TestSuite suite() { TestSuite suite = new TestSuite(); suite.addTest(new ModuloApintFieldTest("testBasic")); suite.addTest(new ModuloApintFieldTest("testNoModulus")); suite.addTest(new ModuloApintFieldTest("testXmlSerialization")); suite.addTest(new ModuloApintFieldTest("testMatrixInverse")); suite.addTest(new ModuloApintFieldTest("testRationalFunction")); suite.addTest(new ModuloApintFieldTest("testAliceBob")); return suite; } public static void testBasic() { ModuloApintField.setModulus(new Apint(65537)); ModuloApintField a = valueOf(100); ModuloApintField b = valueOf(200); ModuloApintField c = valueOf(200); ModuloApintField zero = valueOf(0); assertEquals("100 + 200", valueOf(300), a.plus(b)); assertEquals("-100", valueOf(65537 - 100), a.opposite()); assertEquals("100 - 200", valueOf(65537 - 100), a.minus(b)); assertEquals("100 * 200", valueOf(20000), a.times(b)); assertEquals("1 / 100", valueOf(17695), a.inverse()); assertEquals("100 ^2", valueOf(10000), a.pow(new Apint(2))); assertEquals("copy", a, a.copy()); assertEquals("doubleValue", 100.0, a.doubleValue(), 0.00000000000005); assertEquals("longValue", 100L, a.longValue()); assertEquals("String", "100", a.toString()); assertEquals("Text", new Text("100"), a.toText()); assertTrue("isLargerThan", b.isLargerThan(a)); assertEquals("compareTo", -1, a.compareTo(b)); HashSet set = new HashSet<>(); set.add(b); set.add(c); assertEquals("hashCode", 1, set.size()); try { zero.inverse(); fail("Zero divisor accepted"); } catch (ApfloatArithmeticException aae) { // OK, modulus is not set } try { new ModuloApintField(null); fail("null accepted"); } catch (NullPointerException npe) { // OK, illegal } } public static void testNoModulus() { ModuloApintField.setModulus(null); ModuloApintField a = valueOf(100), b = valueOf(200); assertEquals("100 + 200", valueOf(300), a.plus(b)); assertEquals("-100", valueOf(-100), a.opposite()); assertEquals("100 - 200", valueOf(-100), a.minus(b)); assertEquals("100 * 200", valueOf(20000), a.times(b)); assertEquals("copy", a, a.copy()); try { a.inverse(); fail("No divisor accepted"); } catch (ApfloatArithmeticException aae) { // OK, modulus is not set } } public static void testXmlSerialization() throws XMLStreamException { ModuloApintField field = new ModuloApintField(new Apint("12ez0", 36)); StringWriter out = new StringWriter(); XMLObjectWriter xmlWriter = XMLObjectWriter.newInstance(out); xmlWriter.write(field); xmlWriter.close(); String xml = out.toString(); assertEquals("XML", "", xml); StringReader in = new StringReader(xml); XMLObjectReader xmlReader = XMLObjectReader.newInstance(in); field = xmlReader.read(); assertEquals("Value", new Apint("12ez0", 36), field.value()); assertEquals("Radix", 36, field.value().radix()); field = new ModuloApintField(new Apint("0", 2)); out = new StringWriter(); xmlWriter = XMLObjectWriter.newInstance(out); xmlWriter.write(field); xmlWriter.close(); xml = out.toString(); assertEquals("XML 0", "", xml); in = new StringReader(xml); xmlReader = XMLObjectReader.newInstance(in); field = xmlReader.read(); assertEquals("Value", new Apint("0", 2), field.value()); assertEquals("Radix", 2, field.value().radix()); } public static void testMatrixInverse() { ModuloApintField.setModulus(new Apint(43)); ModuloApintField[][] elements = { { valueOf(1), valueOf(2), valueOf(3) }, { valueOf(4), valueOf(5), valueOf(6) }, { valueOf(7), valueOf(8), valueOf(10) } }; Matrix m = DenseMatrix.valueOf(elements); Vector vectorization = m.minus(m.inverse().inverse()).vectorization(); for (int i = 0; i < vectorization.getDimension(); i++) { assertEquals("Element " + i, 0, vectorization.get(i).value().signum()); } } public static void testRationalFunction() { ModuloApintField.setModulus(new Apint(43)); Variable.Local x = new Variable.Local("x"); Polynomial dividend = Polynomial.valueOf(valueOf(17), Term.valueOf(x, 2)).plus(Polynomial.valueOf(valueOf(23), x)); Polynomial divisor = Polynomial.valueOf(valueOf(37), x).plus(valueOf(26)); RationalFunction function = RationalFunction.valueOf(dividend, divisor); assertEquals("Function value", new Apint(2), function.evaluate(valueOf(2)).value()); assertEquals("Function plus inverse, value", new Apint(24), function.plus(function.inverse()).evaluate(valueOf(2)).value()); } public static void testAliceBob() { // Modulus and g are public ModuloApintField.setModulus(new Apint(BigInteger.probablePrime(4096, new Random()), 2)); ModuloApintField g = new ModuloApintField(ApintMath.random(4096, 2)); // Private keys, generated as random Apint alicePrivateKey = ApintMath.random(4096, 2); Apint bobPrivateKey = ApintMath.random(4096, 2); // Key exchange ModuloApintField alicePublicKey = g.pow(alicePrivateKey); ModuloApintField bobPublicKey = g.pow(bobPrivateKey); // Shared secret ModuloApintField aliceSharedSecret = bobPublicKey.pow(alicePrivateKey); ModuloApintField bobSharedSecret = alicePublicKey.pow(bobPrivateKey); assertEquals("Alice shared secret == Bob shared secret", aliceSharedSecret, bobSharedSecret); } private static ModuloApintField valueOf(int value) { return new ModuloApintField(new Apint(value)); } }