'Test for bug where large SDP caused integer overflow in CVXcanon.'

def test_large_sdp(self):

    SHAPE = (256, 256)
    rows = SHAPE[0]
    cols = SHAPE[1]
    X = Variable(*SHAPE)
    Z = Variable((rows + cols), (rows + cols))
    prob = Problem(Minimize((0.5 * at.trace(Z))), [(X[(0, 0)] >= 1), (Z[0:rows, rows:(rows + cols)] == X), (Z >> 0), (Z == Z.T)])
    prob.solve(solver='SCS')
    self.assertAlmostEqual(prob.value, 1.0)
