SimpUtil

Object
- SimpUtil

```
public class SimpUtil
extends Object
```
Utility functions for the simplify package.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`assert_well_formed(String s)`
`static String`	`formatInteger(long i)`	Represent a Java long integer as an uninterpreted function applied to 6 moderately sized integers, to work around Simplify's numeric limitations.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - assert_well_formed
```
public static void assert_well_formed(String s)
```
  - formatInteger
```
public static String formatInteger(long i)
```
    Represent a Java long integer as an uninterpreted function applied to 6 moderately sized integers, to work around Simplify's numeric limitations. The first integer is a sign, and the rest are 13-bit (base 8192) limbs in order from most to least significant.