VectorExample

import church.lang.Array;

import church.math.Vector;
import church.math.Fraction;

void: main(String[]: args) = {
    // Vector<Integer>
    v1 = <1, 2>;
    v2 = <3, 4>;
    v3 = -v1;
    v4 = v2 - v1;
    output << "v4 = " << v4 << "\n";
    assert v4 == <2, 2>;

    // Vector<Vector<Integer>> c.f. Matrix<Integer>
    // Nested angle brackets result in the '<<' token which is defined as the stream operator -- choose new operator?
    m1 = < <1, 2>, <3, 4> >;
    m2 = < <4, 3>, <2, 1> >;
    m3 = m2 - m1;
    output << "m3 = " << m3 << "\n";
    assert m3 == < <3, 1>, <-1, -3> >;

    m4 = m1 * m2;
    output << "m4 = " << m4 << "\n";
    assert m4 == < <8, 5>, <20, 13> >;

    m5 = < <1.0, 2.0>, <3.0, 4.0> >;
    m6 = /m5;
    output << "m6 = " << m6 << "\n";
    assert m6 == < <-2.0, 1.0>, <1.5, -0.5> >;

    a7 = < <1, 2>, <3, 4> >;
    m7 = createMatrix(2, 2, i −> j −> fraction(a7[i][j], 1));
    output << "m7 = " << m7 << "\n";
    m8 = /m7;
    output << "m8 = " << m8 << "\n";

    m9 = m7 * m8;
    output << "m9 = " << m9 << "\n";
    I = multiplicativeIdentityMatrix(2);
    assert m9 == I;

    m10 = < <0, 1, 2>, <1, 2, 5>, <2, 5, 8> >;

    m11 = cofactors(m10)
    output << "m11 = " << m11 << "\n";
    m12 = m10 * m11;
    output << "m12 = " << m12 << "\n";
    det = determinant m10;
    output << "det = " << det << "\n";
    assert det == -4;

//    I = multiplicativeIdentityMatrix(2);
//    assert m9 == I;
}