test_class.declarator: modulus
test_class.modifier: private
test_class.original_string: private MersennePrimeModulus modulus;
test_class.type: MersennePrimeModulus
test_class.var_name: modulus
test_class.declarator: bigModulus
test_class.modifier: private
test_class.original_string: private MersennePrimeModulus bigModulus;
test_class.type: MersennePrimeModulus
test_class.var_name: bigModulus
test_class.declarator: element1
test_class.modifier: private
test_class.original_string: private FieldElement element1;
test_class.type: FieldElement
test_class.var_name: element1
test_class.declarator: element2
test_class.modifier: private
test_class.original_string: private FieldElement element2;
test_class.type: FieldElement
test_class.var_name: element2
test_class.declarator: element3
test_class.modifier: private
test_class.original_string: private FieldElement element3;
test_class.type: FieldElement
test_class.var_name: element3
test_class.file: core/src/test/java/dk/alexandra/fresco/framework/builder/numeric/field/MersennePrimeFieldElementTest.java
test_class.identifier: MersennePrimeFieldElementTest
test_case.body: @Test
    public void modInverse() {
      BigInteger result1 = MersennePrimeFieldElement
          .extractValue(MersennePrimeFieldElement.create(1, modulus).modInverse());
      BigInteger result2 = MersennePrimeFieldElement
          .extractValue(MersennePrimeFieldElement.create(27, modulus).modInverse());
      BigInteger result3 = MersennePrimeFieldElement
          .extractValue(MersennePrimeFieldElement.create(56, modulus).modInverse());
      BigInteger result4 = MersennePrimeFieldElement
          .extractValue(MersennePrimeFieldElement.create(77, modulus).modInverse());
      BigInteger result5 = MersennePrimeFieldElement
          .extractValue(MersennePrimeFieldElement.create(112, modulus).modInverse());
      assertThat(result1, Is.is(BigInteger.valueOf(1)));
      assertThat(result2, Is.is(BigInteger.valueOf(67)));
      assertThat(result3, Is.is(BigInteger.valueOf(111)));
      assertThat(result4, Is.is(BigInteger.valueOf(91)));
      assertThat(result5, Is.is(BigInteger.valueOf(112)));
    }
test_case.class_method_signature: MersennePrimeFieldElementTest.modInverse()
test_case.full_signature: @Test public void modInverse()
test_case.identifier: modInverse
test_case.invocations: extractValue modInverse create extractValue modInverse create extractValue modInverse create extractValue modInverse create extractValue modInverse create assertThat is valueOf assertThat is valueOf assertThat is valueOf assertThat is valueOf assertThat is valueOf
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void modInverse()
focal_class.declarator: value
focal_class.modifier: private final
focal_class.original_string: private final BigInteger value;
focal_class.type: BigInteger
focal_class.var_name: value
focal_class.declarator: modulus
focal_class.modifier: private final
focal_class.original_string: private final MersennePrimeModulus modulus;
focal_class.type: MersennePrimeModulus
focal_class.var_name: modulus
focal_class.file: core/src/main/java/dk/alexandra/fresco/framework/builder/numeric/field/MersennePrimeFieldElement.java
focal_class.identifier: MersennePrimeFieldElement
focal_class.interfaces: implements FieldElement
focal_class.class_method_signature: MersennePrimeFieldElement.MersennePrimeFieldElement(BigInteger value, MersennePrimeModulus modulus)
focal_class.full_signature: private  MersennePrimeFieldElement(BigInteger value, MersennePrimeModulus modulus)
focal_class.identifier: MersennePrimeFieldElement
focal_class.modifiers: private
focal_class.parameters: (BigInteger value, MersennePrimeModulus modulus)
focal_class.signature:  MersennePrimeFieldElement(BigInteger value, MersennePrimeModulus modulus)
focal_class.class_method_signature: MersennePrimeFieldElement.create(BigInteger value)
focal_class.full_signature: private FieldElement create(BigInteger value)
focal_class.identifier: create
focal_class.modifiers: private
focal_class.parameters: (BigInteger value)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(BigInteger value)
focal_class.class_method_signature: MersennePrimeFieldElement.create(BigInteger value, MersennePrimeModulus modulus)
focal_class.full_signature: static FieldElement create(BigInteger value, MersennePrimeModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (BigInteger value, MersennePrimeModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(BigInteger value, MersennePrimeModulus modulus)
focal_class.class_method_signature: MersennePrimeFieldElement.create(long value, MersennePrimeModulus modulus)
focal_class.full_signature: static FieldElement create(long value, MersennePrimeModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (long value, MersennePrimeModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(long value, MersennePrimeModulus modulus)
focal_class.class_method_signature: MersennePrimeFieldElement.create(String string, MersennePrimeModulus modulus)
focal_class.full_signature: static FieldElement create(String string, MersennePrimeModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (String string, MersennePrimeModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(String string, MersennePrimeModulus modulus)
focal_class.class_method_signature: MersennePrimeFieldElement.add(FieldElement operand)
focal_class.full_signature: @Override public FieldElement add(FieldElement operand)
focal_class.identifier: add
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement add(FieldElement operand)
focal_class.class_method_signature: MersennePrimeFieldElement.subtract(FieldElement operand)
focal_class.full_signature: @Override public FieldElement subtract(FieldElement operand)
focal_class.identifier: subtract
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement subtract(FieldElement operand)
focal_class.class_method_signature: MersennePrimeFieldElement.negate()
focal_class.full_signature: @Override public FieldElement negate()
focal_class.identifier: negate
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement negate()
focal_class.class_method_signature: MersennePrimeFieldElement.multiply(FieldElement operand)
focal_class.full_signature: @Override public FieldElement multiply(FieldElement operand)
focal_class.identifier: multiply
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement multiply(FieldElement operand)
focal_class.class_method_signature: MersennePrimeFieldElement.sqrt()
focal_class.full_signature: @Override public FieldElement sqrt()
focal_class.identifier: sqrt
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement sqrt()
focal_class.class_method_signature: MersennePrimeFieldElement.modInverse()
focal_class.full_signature: @Override public FieldElement modInverse()
focal_class.identifier: modInverse
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement modInverse()
focal_class.class_method_signature: MersennePrimeFieldElement.extractValue(FieldElement element)
focal_class.full_signature: static BigInteger extractValue(FieldElement element)
focal_class.identifier: extractValue
focal_class.modifiers: static
focal_class.parameters: (FieldElement element)
focal_class.return: BigInteger
focal_class.signature: BigInteger extractValue(FieldElement element)
focal_class.class_method_signature: MersennePrimeFieldElement.getModulus()
focal_class.full_signature: private BigInteger getModulus()
focal_class.identifier: getModulus
focal_class.modifiers: private
focal_class.parameters: ()
focal_class.return: BigInteger
focal_class.signature: BigInteger getModulus()
focal_class.class_method_signature: MersennePrimeFieldElement.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_method.body: @Override
    public FieldElement modInverse() {
      return create(value.modInverse(getModulus()));
    }
focal_method.class_method_signature: MersennePrimeFieldElement.modInverse()
focal_method.full_signature: @Override public FieldElement modInverse()
focal_method.identifier: modInverse
focal_method.invocations: create modInverse getModulus
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: FieldElement
focal_method.signature: FieldElement modInverse()