public void Invalid()
{
var s = new LazySegtree <int, int, Starry>(10);
s.Invoking(s => s[-1]).Should().ThrowContractAssert();
s.Invoking(s => s[10]).Should().ThrowContractAssert();
s.Invoking(s => s[0]).Should().NotThrow();
s.Invoking(s => s[9]).Should().NotThrow();
s.Invoking(s => s.Prod(-1, -1)).Should().ThrowContractAssert();
s.Invoking(s => s.Prod(3, 2)).Should().ThrowContractAssert();
s.Invoking(s => s.Prod(0, 11)).Should().ThrowContractAssert();
s.Invoking(s => s.Prod(-1, 11)).Should().ThrowContractAssert();
s.Invoking(s => s.Prod(0, 0)).Should().NotThrow();
s.Invoking(s => s.Prod(10, 10)).Should().NotThrow();
s.Invoking(s => s.Prod(0, 10)).Should().NotThrow();
s.Invoking(s => s.MaxRight(11, s => true)).Should().ThrowContractAssert();
s.Invoking(s => s.MaxRight(-1, s => true)).Should().ThrowContractAssert();
s.Invoking(s => s.MaxRight(0, s => false)).Should().ThrowContractAssert();
s.Invoking(s => s.MaxRight(0, s => true)).Should().NotThrow();
s.Invoking(s => s.MaxRight(10, s => true)).Should().NotThrow();
s.Invoking(s => s.MinLeft(11, s => true)).Should().ThrowContractAssert();
s.Invoking(s => s.MinLeft(-1, s => true)).Should().ThrowContractAssert();
s.Invoking(s => s.MinLeft(0, s => false)).Should().ThrowContractAssert();
s.Invoking(s => s.MinLeft(0, s => true)).Should().NotThrow();
s.Invoking(s => s.MinLeft(10, s => true)).Should().NotThrow();
}
public void NaiveProd()
{
for (int n = 0; n <= 50; n++)
{
var seg = new LazySegtree <int, int, Starry>(n);
var p = new int[n];
for (int i = 0; i < n; i++)
{
p[i] = (i * i + 100) % 31;
seg[i] = p[i];
}
for (int l = 0; l <= n; l++)
{
for (int r = l; r <= n; r++)
{
int e = -1_000_000_000;
for (int i = l; i < r; i++)
{
e = Math.Max(e, p[i]);
}
seg.Prod(l, r).Should().Be(seg[l..r]).And.Be(e);