/// <summary>
/// Returns the component-wise compare of x == y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec equal(ivec x, ivec y) { throw new NotImplementedException(); }
/// <summary>
/// Returns the component-wise compare of x >= y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec greaterThanEqual(ivec x, ivec y) { throw new NotImplementedException(); }
/// <summary>
/// Returns the component-wise compare of x < y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec lessThan(ivec x, ivec y) { throw new NotImplementedException(); }
/// <summary>
/// Returns the component-wise compare of x >= y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec greaterThanEqual(ivec x, ivec y)
{
throw new NotImplementedException();
}
/// <summary>
/// Returns the component-wise compare of x < y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec lessThan(ivec x, ivec y)
{
throw new NotImplementedException();
}
/// <summary>
/// Returns the component-wise compare of x != y.
/// </summary>
/// <param name="x"></param>
/// <param name="y"></param>
/// <returns></returns>
protected bvec notEqual(ivec x, ivec y)
{
throw new NotImplementedException();
}
