test_class.declarator: modulus
test_class.modifier: private
test_class.original_string: private BigIntegerModulus modulus;
test_class.type: BigIntegerModulus
test_class.var_name: modulus
test_class.declarator: bigModulus
test_class.modifier: private
test_class.original_string: private BigIntegerModulus bigModulus;
test_class.type: BigIntegerModulus
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/BigIntegerFieldElementTest.java
test_class.identifier: BigIntegerFieldElementTest
test_case.body: @Test
    public void modInverse() {
      BigInteger result1 = BigIntegerFieldElement
          .extractValue(BigIntegerFieldElement.create(1, modulus).modInverse());
      BigInteger result2 = BigIntegerFieldElement
          .extractValue(BigIntegerFieldElement.create(27, modulus).modInverse());
      BigInteger result3 = BigIntegerFieldElement
          .extractValue(BigIntegerFieldElement.create(56, modulus).modInverse());
      BigInteger result4 = BigIntegerFieldElement
          .extractValue(BigIntegerFieldElement.create(77, modulus).modInverse());
      BigInteger result5 = BigIntegerFieldElement
          .extractValue(BigIntegerFieldElement.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: BigIntegerFieldElementTest.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: serialVersionUID = -6786266947587799652L
focal_class.modifier: private static final
focal_class.original_string: private static final long serialVersionUID = -6786266947587799652L;
focal_class.type: long
focal_class.var_name: serialVersionUID
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 BigIntegerModulus modulus;
focal_class.type: BigIntegerModulus
focal_class.var_name: modulus
focal_class.file: core/src/main/java/dk/alexandra/fresco/framework/builder/numeric/field/BigIntegerFieldElement.java
focal_class.identifier: BigIntegerFieldElement
focal_class.interfaces: implements FieldElement
focal_class.class_method_signature: BigIntegerFieldElement.BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.full_signature: private  BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.identifier: BigIntegerFieldElement
focal_class.modifiers: private
focal_class.parameters: (BigInteger value, BigIntegerModulus modulus)
focal_class.signature:  BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.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: BigIntegerFieldElement.create(BigInteger value, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(BigInteger value, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (BigInteger value, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(BigInteger value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.create(long value, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(long value, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (long value, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(long value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.create(String string, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(String string, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (String string, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(String string, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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: BigIntegerFieldElement.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()