BasicNumericContext { public BigInteger getModulus() { return fieldDefinition.getModulus(); } BasicNumericContext(int maxBitLength, int myId, int noOfParties,
      FieldDefinition fieldDefinition, int defaultFixedPointPrecision); int getMaxBitLength(); FieldDefinition getFieldDefinition(); BigInteger getModulus(); int getMyId(); int getNoOfParties(); int getDefaultFixedPointPrecision();  }
@Test public void getModulus() { Assert.assertEquals(context.getModulus(), BigInteger.ONE); }