@khanacademy/perseus 6.2.1 → 6.3.0

package/src/util/geometry.ts

@@ -0,0 +1,293 @@
+/**
+ * A collection of geomtry-related utility functions
+ */
+
+import {number as knumber} from "@khanacademy/kmath";
+import _ from "underscore";
+
+import Util from "../util";
+
+import type {Coord, Line} from "../interactive2/types";
+
+const {eq, deepEq} = Util;
+
+// This should really be a readonly tuple of [number, number]
+export type Range = [number, number];
+
+export type SineCoefficient = [
+    number, // amplitude
+    number, // angularFrequency
+    number, // phase
+    number, // verticalOffset
+];
+export type QuadraticCoefficient = [number, number, number]; // a, b, c
+
+export function sign(val: number): 0 | 1 | -1 {
+    if (eq(val, 0)) {
+        return 0;
+    }
+    return val > 0 ? 1 : -1;
+}
+
+export function ccw(a: Coord, b: Coord, c: Coord): number {
+    return (b[0] - a[0]) * (c[1] - a[1]) - (c[0] - a[0]) * (b[1] - a[1]);
+}
+
+export function collinear(a: Coord, b: Coord, c: Coord): boolean {
+    return eq(ccw(a, b, c), 0);
+}
+
+// Given rect bounding points A and B, whether point C is inside the rect
+function pointInRect(a: Coord, b: Coord, c: Coord): boolean {
+    return (
+        c[0] <= Math.max(a[0], b[0]) &&
+        c[0] >= Math.min(a[0], b[0]) &&
+        c[1] <= Math.max(a[1], b[1]) &&
+        c[1] >= Math.min(a[1], b[1])
+    );
+}
+
+// Whether line segment AB intersects line segment CD
+// http://www.geeksforgeeks.org/check-if-two-given-line-segments-intersect/
+export function intersects(ab: Line, cd: Line): boolean {
+    const triplets = [
+        [ab[0], ab[1], cd[0]] as const,
+        [ab[0], ab[1], cd[1]] as const,
+        [cd[0], cd[1], ab[0]] as const,
+        [cd[0], cd[1], ab[1]] as const,
+    ];
+
+    const orientations = _.map(triplets, function (triplet) {
+        return sign(ccw(...triplet));
+    });
+
+    if (
+        orientations[0] !== orientations[1] &&
+        orientations[2] !== orientations[3]
+    ) {
+        return true;
+    }
+
+    for (let i = 0; i < 4; i++) {
+        if (orientations[i] === 0 && pointInRect(...triplets[i])) {
+            return true;
+        }
+    }
+
+    return false;
+}
+
+export function vector(a, b) {
+    return _.map(_.zip(a, b), function (pair) {
+        return pair[0] - pair[1];
+    });
+}
+
+export function magnitude(v: ReadonlyArray<Coord>): number {
+    return Math.sqrt(
+        _.reduce(
+            v,
+            function (memo, el) {
+                // @ts-expect-error [FEI-5003] - TS2345 - Argument of type 'Coord' is not assignable to parameter of type 'number'.
+                return memo + Math.pow(el, 2);
+            },
+            0,
+        ),
+    );
+}
+
+function dotProduct(a: Coord, b: Coord): number {
+    return _.reduce(
+        _.zip(a, b),
+        function (memo, pair) {
+            return memo + pair[0] * pair[1];
+        },
+        0,
+    );
+}
+
+function sideLengths(coords: ReadonlyArray<Coord>): ReadonlyArray<number> {
+    const segments = _.zip(coords, rotate(coords));
+    return segments.map(function (segment) {
+        // @ts-expect-error [FEI-5003] - TS2345 - Argument of type 'number[]' is not assignable to parameter of type 'readonly Coord[]'. | TS2556 - A spread argument must either have a tuple type or be passed to a rest parameter.
+        return magnitude(vector(...segment));
+    });
+}
+
+// Based on http://math.stackexchange.com/a/151149
+export function angleMeasures(
+    coords: ReadonlyArray<Coord>,
+): ReadonlyArray<number> {
+    const triplets = _.zip(rotate(coords, -1), coords, rotate(coords, 1));
+
+    const offsets = _.map(triplets, function (triplet) {
+        const p = vector(triplet[1], triplet[0]);
+        const q = vector(triplet[2], triplet[1]);
+        // @ts-expect-error [FEI-5003] - TS2345 - Argument of type 'number[]' is not assignable to parameter of type 'Coord'. | TS2345 - Argument of type 'number[]' is not assignable to parameter of type 'readonly Coord[]'. | TS2345 - Argument of type 'number[]' is not assignable to parameter of type 'readonly Coord[]'.
+        const raw = Math.acos(dotProduct(p, q) / (magnitude(p) * magnitude(q)));
+        // @ts-expect-error [FEI-5003] - TS2556 - A spread argument must either have a tuple type or be passed to a rest parameter.
+        return sign(ccw(...triplet)) > 0 ? raw : -raw;
+    });
+
+    const sum = _.reduce(
+        offsets,
+        function (memo, arg) {
+            return memo + arg;
+        },
+        0,
+    );
+
+    return _.map(offsets, function (offset) {
+        return sum > 0 ? Math.PI - offset : Math.PI + offset;
+    });
+}
+
+// Whether two polygons are similar (or if specified, congruent)
+export function similar(
+    coords1: ReadonlyArray<Coord>,
+    coords2: ReadonlyArray<Coord>,
+    tolerance: number,
+): boolean {
+    if (coords1.length !== coords2.length) {
+        return false;
+    }
+
+    const n = coords1.length;
+
+    const angles1 = angleMeasures(coords1);
+    const angles2 = angleMeasures(coords2);
+
+    const sides1 = sideLengths(coords1);
+    const sides2 = sideLengths(coords2);
+
+    for (let i = 0; i < 2 * n; i++) {
+        let angles = angles2.slice();
+        let sides = sides2.slice();
+
+        // Reverse angles and sides to allow matching reflected polygons
+        if (i >= n) {
+            angles.reverse();
+            sides.reverse();
+            // Since sides are calculated from two coordinates,
+            // simply reversing results in an off by one error
+            // @ts-expect-error [FEI-5003] - TS4104 - The type 'readonly number[]' is 'readonly' and cannot be assigned to the mutable type 'number[]'.
+            sides = rotate(sides, 1);
+        }
+
+        // @ts-expect-error [FEI-5003] - TS4104 - The type 'readonly number[]' is 'readonly' and cannot be assigned to the mutable type 'number[]'.
+        angles = rotate(angles, i);
+        // @ts-expect-error [FEI-5003] - TS4104 - The type 'readonly number[]' is 'readonly' and cannot be assigned to the mutable type 'number[]'.
+        sides = rotate(sides, i);
+
+        if (deepEq(angles1, angles)) {
+            const sidePairs = _.zip(sides1, sides);
+
+            const factors = _.map(sidePairs, function (pair) {
+                return pair[0] / pair[1];
+            });
+
+            const same = _.all(factors, function (factor) {
+                return eq(factors[0], factor);
+            });
+
+            const congruentEnough = _.all(sidePairs, function (pair) {
+                return knumber.equal(pair[0], pair[1], tolerance);
+            });
+
+            if (same && congruentEnough) {
+                return true;
+            }
+        }
+    }
+
+    return false;
+}
+
+// Given triangle with sides ABC return angle opposite side C in degrees
+export function lawOfCosines(a: number, b: number, c: number): number {
+    return (Math.acos((a * a + b * b - c * c) / (2 * a * b)) * 180) / Math.PI;
+}
+
+export function canonicalSineCoefficients([
+    amplitude,
+    angularFrequency,
+    phase,
+    verticalOffset,
+]: [any, any, any, any]) {
+    // For a curve of the form f(x) = a * Sin(b * x - c) + d,
+    // this function ensures that a, b > 0, and c is its
+    // smallest possible positive value.
+
+    // Guarantee a > 0
+    if (amplitude < 0) {
+        amplitude *= -1;
+        angularFrequency *= -1;
+        phase *= -1;
+    }
+
+    const period = 2 * Math.PI;
+    // Guarantee b > 0
+    if (angularFrequency < 0) {
+        angularFrequency *= -1;
+        phase *= -1;
+        phase += period / 2;
+    }
+
+    // Guarantee c is smallest possible positive value
+    while (phase > 0) {
+        phase -= period;
+    }
+    while (phase < 0) {
+        phase += period;
+    }
+
+    return [amplitude, angularFrequency, phase, verticalOffset];
+}
+
+// e.g. rotate([1, 2, 3]) -> [2, 3, 1]
+export function rotate<T>(
+    array: ReadonlyArray<T>,
+    n?: number,
+): ReadonlyArray<T> {
+    n = typeof n === "undefined" ? 1 : n % array.length;
+    return array.slice(n).concat(array.slice(0, n));
+}
+
+export function getLineEquation(first: Coord, second: Coord): string {
+    if (eq(first[0], second[0])) {
+        return "x = " + first[0].toFixed(3);
+    }
+    const m = (second[1] - first[1]) / (second[0] - first[0]);
+    const b = first[1] - m * first[0];
+    return "y = " + m.toFixed(3) + "x + " + b.toFixed(3);
+}
+
+// Stolen from the wikipedia article
+// http://en.wikipedia.org/wiki/Line-line_intersection
+export function getLineIntersection(
+    // TODO(LP-10725): update these to be 2-tuples
+    firstPoints: ReadonlyArray<Coord>,
+    secondPoints: ReadonlyArray<Coord>,
+): string {
+    const x1 = firstPoints[0][0];
+    const y1 = firstPoints[0][1];
+    const x2 = firstPoints[1][0];
+    const y2 = firstPoints[1][1];
+    const x3 = secondPoints[0][0];
+    const y3 = secondPoints[0][1];
+    const x4 = secondPoints[1][0];
+    const y4 = secondPoints[1][1];
+
+    const determinant = (x1 - x2) * (y3 - y4) - (y1 - y2) * (x3 - x4);
+
+    if (Math.abs(determinant) < 1e-9) {
+        return "Lines are parallel";
+    }
+    const x =
+        ((x1 * y2 - y1 * x2) * (x3 - x4) - (x1 - x2) * (x3 * y4 - y3 * x4)) /
+        determinant;
+    const y =
+        ((x1 * y2 - y1 * x2) * (y3 - y4) - (y1 - y2) * (x3 * y4 - y3 * x4)) /
+        determinant;
+    return "Intersection: (" + x.toFixed(3) + ", " + y.toFixed(3) + ")";
+}

package/src/widgets/__tests__/numeric-input.test.ts

@@ -3,6 +3,7 @@ import userEvent from "@testing-library/user-event";
 
 import {testDependencies} from "../../../../../testing/test-dependencies";
 import * as Dependencies from "../../dependencies";
+import {errors} from "../../util/answer-types";
 import {
     question1AndAnswer,
     multipleAnswers,
@@ -212,6 +213,43 @@ describe("static function validate", () => {
         `);
     });
 
+    // Don't default to validating the answer as a pi answer
+    // if answerForm isn't set on the answer.
+    // The answer value, userInput.currentValue, and
+    // the omission of answerForms in the answer are
+    // important to the test.
+    // https://khanacademy.atlassian.net/browse/LC-691
+    it("doesn't default to validating pi", () => {
+        const rubric: Rubric = {
+            answers: [
+                {
+                    maxError: null,
+                    message: "",
+                    simplify: "required",
+                    status: "correct",
+                    strict: true,
+                    value: 45.289,
+                },
+            ],
+            labelText: "",
+            size: "normal",
+            static: false,
+            coefficient: false,
+        };
+
+        const userInput = {
+            // (pi / 12) * 173 = 45.291
+            // within the 0.01 margin of error
+            // to trigger the pi validation flow
+            currentValue: "45.282",
+        } as const;
+
+        const score = NumericInput.validate(userInput, rubric);
+
+        expect(score.message).not.toBe(errors.APPROXIMATED_PI_ERROR);
+        expect(score.message?.includes("pi")).toBeFalsy();
+    });
+
     it("with a strict answer", () => {
         const rubric: Rubric = {
             answers: [

package/src/widgets/expression.tsx

@@ -1,4 +1,3 @@
-/* eslint-disable react/prop-types */
 import * as KAS from "@khanacademy/kas";
 import {KeypadInput, KeypadType, Keys as Key} from "@khanacademy/math-input";
 import {linterContextDefault} from "@khanacademy/perseus-linter";

package/src/widgets/grapher.tsx

@@ -1,4 +1,3 @@
-/* eslint-disable react/prop-types */
 /* eslint-disable react/sort-comp */
 import {
     number as knumber,

package/src/widgets/image.tsx

@@ -1,4 +1,3 @@
-/* eslint-disable react/prop-types */
 /* eslint-disable react/sort-comp */
 import {linterContextDefault} from "@khanacademy/perseus-linter";
 import {StyleSheet, css} from "aphrodite";

package/src/widgets/input-number.tsx

@@ -1,4 +1,3 @@
-/* eslint-disable react/prop-types */
 /* eslint-disable react/sort-comp */
 import {linterContextDefault} from "@khanacademy/perseus-linter";
 import * as i18n from "@khanacademy/wonder-blocks-i18n";