math-exercises 2.2.80 → 2.2.82

package/lib/exercises/math/functions/trinoms/secondDegreeInequation.js

@@ -12,6 +12,7 @@ const numberNode_1 = require("../../../../tree/nodes/numbers/numberNode");
 const closure_1 = require("../../../../tree/nodes/sets/closure");
 const intervalNode_1 = require("../../../../tree/nodes/sets/intervalNode");
 const unionIntervalNode_1 = require("../../../../tree/nodes/sets/unionIntervalNode");
+const unionIntervalParser_1 = require("../../../../tree/parsers/unionIntervalParser");
 const getAnswer = ({ a, roots, ineqType }) => {
     const aPositive = a > 0;
     const insideInterval = new intervalNode_1.IntervalNode(roots[0], roots[1], ineqType.isStrict ? closure_1.ClosureType.OO : closure_1.ClosureType.FF);
@@ -76,12 +77,15 @@ const getPropositions = (n, { answer, a, b, c, ineqType }) => {
     return (0, exercise_1.shuffleProps)(propositions, n);
 };
 const isAnswerValid = (ans, { answer, a, b, c, ineqType }) => {
-    const trinom = new trinom_1.Trinom(a, b, c);
-    const roots = trinom.getRootsNode();
-    const ineq = new inequation_1.InequationSymbol(ineqType);
-    const tree = getAnswer({ a, ineqType: ineq, roots });
-    const texs = tree.toAllValidTexs();
-    return texs.includes(ans);
+    try {
+        const parsed = (0, unionIntervalParser_1.unionIntervalParser)(ans.replaceAll("S", "").replaceAll("=", ""));
+        if (!parsed)
+            return false;
+        return "S=\\ " + parsed.simplify().toTex() === answer;
+    }
+    catch (err) {
+        return false;
+    }
 };
 exports.secondDegreeInequation = {
     id: "secondDegreeInequation",

package/lib/exercises/math/functions/trinoms/trinomSignFromRoots.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trinomSignFromRoots.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/trinoms/trinomSignFromRoots.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,0BAA0B,CAAC;AAalC,KAAK,WAAW,GAAG;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAmHF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,CAgBrD,CAAC"}
+{"version":3,"file":"trinomSignFromRoots.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/trinoms/trinomSignFromRoots.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,0BAA0B,CAAC;AAiBlC,KAAK,WAAW,GAAG;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAuHF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,CAgBrD,CAAC"}

package/lib/exercises/math/functions/trinoms/trinomSignFromRoots.js

@@ -4,12 +4,12 @@ exports.trinomSignFromRoots = void 0;
 const exercise_1 = require("../../../../exercises/exercise");
 const getDistinctQuestions_1 = require("../../../../exercises/utils/getDistinctQuestions");
 const trinomNode_1 = require("../../../../tree/nodes/polynomials/trinomNode");
-const intervals_1 = require("../../../../math/sets/intervals/intervals");
 const infiniteNode_1 = require("../../../../tree/nodes/numbers/infiniteNode");
 const closure_1 = require("../../../../tree/nodes/sets/closure");
 const intervalNode_1 = require("../../../../tree/nodes/sets/intervalNode");
 const unionIntervalNode_1 = require("../../../../tree/nodes/sets/unionIntervalNode");
 const coinFlip_1 = require("../../../../utils/alea/coinFlip");
+const unionIntervalParser_1 = require("../../../../tree/parsers/unionIntervalParser");
 const getPropositions = (n, { answer, trinomCoeffs, isAskingPositive }) => {
     const propositions = [];
     (0, exercise_1.addValidProp)(propositions, answer);
@@ -20,8 +20,8 @@ const getPropositions = (n, { answer, trinomCoeffs, isAskingPositive }) => {
     (0, exercise_1.tryToAddWrongProp)(propositions, getAnswer({ trinomCoeffs, isAskingPositive: !isAskingPositive }));
     (0, exercise_1.tryToAddWrongProp)(propositions, new intervalNode_1.IntervalNode(trinom.a, trinom.b, closure_1.ClosureType.FF).toTex());
     while (propositions.length < n) {
-        const interval = intervals_1.IntervalConstructor.random();
-        (0, exercise_1.tryToAddWrongProp)(propositions, interval.toTree().toTex());
+        const interval = intervalNode_1.IntervalNodeConstructor.random();
+        (0, exercise_1.tryToAddWrongProp)(propositions, interval.toTex());
     }
     return (0, exercise_1.shuffleProps)(propositions, n);
 };
@@ -74,9 +74,15 @@ const getKeys = (identifiers) => {
     return ["lbracket", "semicolon", "rbracket", "infty", "cup"];
 };
 const isAnswerValid = (ans, { answer, isAskingPositive, trinomCoeffs }) => {
-    const ansNode = getAnswerNode({ isAskingPositive, trinomCoeffs });
-    const texs = ansNode.toAllValidTexs();
-    return texs.includes(ans);
+    try {
+        const parsed = (0, unionIntervalParser_1.unionIntervalParser)(ans);
+        if (!parsed)
+            return false;
+        return parsed.simplify().toTex() === answer;
+    }
+    catch (err) {
+        return false;
+    }
 };
 const getTrinomSignFromRootsQuestion = () => {
     const trinom = trinomNode_1.TrinomNodeConstructor.randomNiceRoots(2);

package/lib/exercises/math/geometry/convexity/convexityQuadrinomialsGeo.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"convexityQuadrinomialsGeo.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/geometry/convexity/convexityQuadrinomialsGeo.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AAoBlC,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;CACxB,CAAC;AA0LF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAc3D,CAAC"}
+{"version":3,"file":"convexityQuadrinomialsGeo.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/geometry/convexity/convexityQuadrinomialsGeo.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AAqBlC,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;CACxB,CAAC;AA8JF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAc3D,CAAC"}

package/lib/exercises/math/geometry/convexity/convexityQuadrinomialsGeo.js

@@ -11,6 +11,7 @@ const infiniteNode_1 = require("../../../../tree/nodes/numbers/infiniteNode");
 const numberNode_1 = require("../../../../tree/nodes/numbers/numberNode");
 const closure_1 = require("../../../../tree/nodes/sets/closure");
 const intervalNode_1 = require("../../../../tree/nodes/sets/intervalNode");
+const intervalParser_1 = require("../../../../tree/parsers/intervalParser");
 const coinFlip_1 = require("../../../../utils/alea/coinFlip");
 function generatePolynomialWithIntegerInflexionPoint(degree, inflexionPointX) {
     let a, b, c, discriminant;
@@ -95,22 +96,16 @@ const getPropositions = (n, { answer, inflexionPoint }) => {
     (0, exercise_1.tryToAddWrongProp)(propositions, wrongInterval4);
     return (0, exercise_1.shuffleProps)(propositions, n);
 };
-const isAnswerValid = (ans, { askConvex, quadcoeffs, inflexionPoint }) => {
-    let interval;
-    if (askConvex) {
-        interval =
-            quadcoeffs[3] > 0
-                ? new intervalNode_1.IntervalNode(inflexionPoint.toTree(), infiniteNode_1.PlusInfinityNode, closure_1.ClosureType.OO)
-                : new intervalNode_1.IntervalNode(infiniteNode_1.MinusInfinityNode, inflexionPoint.toTree(), closure_1.ClosureType.OO);
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        const parsed = (0, intervalParser_1.intervalParser)(ans);
+        if (!parsed)
+            return false;
+        return parsed.simplify().toTex() === answer;
     }
-    else {
-        interval =
-            quadcoeffs[3] <= 0
-                ? new intervalNode_1.IntervalNode(inflexionPoint.toTree(), infiniteNode_1.PlusInfinityNode, closure_1.ClosureType.OO)
-                : new intervalNode_1.IntervalNode(infiniteNode_1.MinusInfinityNode, inflexionPoint.toTree(), closure_1.ClosureType.OO);
+    catch (err) {
+        return false;
     }
-    const latexs = interval.toAllValidTexs({});
-    return latexs.includes(ans);
 };
 exports.convexityQuadrinomialsGeo = {
     id: "convexityQuadrinomialsGeo",

package/lib/exercises/math/matrices/matrixInversibilityDomain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"matrixInversibilityDomain.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/matrices/matrixInversibilityDomain.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AAyBlC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AA0FF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAc3D,CAAC"}
+{"version":3,"file":"matrixInversibilityDomain.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/matrices/matrixInversibilityDomain.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AA0BlC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAoGF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAc3D,CAAC"}

package/lib/exercises/math/matrices/matrixInversibilityDomain.js

@@ -17,6 +17,7 @@ const intervalNode_1 = require("../../../tree/nodes/sets/intervalNode");
 const unionIntervalNode_1 = require("../../../tree/nodes/sets/unionIntervalNode");
 const variableNode_1 = require("../../../tree/nodes/variables/variableNode");
 const latexParser_1 = require("../../../tree/parsers/latexParser");
+const unionIntervalParser_1 = require("../../../tree/parsers/unionIntervalParser");
 const intervalKeys_1 = require("../../utils/keys/intervalKeys");
 const getMatrixInversibilityDomainQuestion = () => {
     const elements = [[], []];
@@ -50,7 +51,9 @@ const getMatrixInversibilityDomainQuestion = () => {
             ]).toTex();
     const question = {
         answer,
-        instruction: `Soit $M = ${matrix.toTex()}$, où $x\\in \\mathbb{R}$. Sur quel ensemble la matrice $M$ est-elle inversible ?
+        instruction: `Soit $M = ${matrix.toTex()}$, où $x\\in \\mathbb{R}$. 
+
+Sur quel ensemble la matrice $M$ est-elle inversible ?
     `,
         keys: [...intervalKeys_1.intervalKeys, "reals", "varnothing"],
         answerFormat: "tex",
@@ -78,7 +81,17 @@ const getPropositions = (n, { answer, a, b, c, d }) => {
     return (0, exercise_1.shuffleProps)(propositions, n);
 };
 const isAnswerValid = (ans, { answer }) => {
-    return ans === answer;
+    try {
+        if (answer === "\\mathbb{R}" || answer === "\\varnothing")
+            return ans === answer;
+        const parsed = (0, unionIntervalParser_1.unionIntervalParser)(ans);
+        if (!parsed)
+            return false;
+        return parsed.simplify().toTex() === answer;
+    }
+    catch (err) {
+        return false;
+    }
 };
 exports.matrixInversibilityDomain = {
     id: "matrixInversibilityDomain",

package/lib/exercises/math/probaStat/binomial/binomialInequation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"binomialInequation.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/probaStat/binomial/binomialInequation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EAEL,eAAe,EAChB,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EAEL,uBAAuB,EACxB,MAAM,oCAAoC,CAAC;AAK5C,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,eAAe,CAAC;IACnB,QAAQ,EAAE,uBAAuB,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAgKF,KAAK,OAAO,GAAG;IACb,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAgBF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAuB7D,CAAC"}
+{"version":3,"file":"binomialInequation.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/probaStat/binomial/binomialInequation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,0BAA0B,CAAC;AASlC,OAAO,EAEL,eAAe,EAChB,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EAEL,uBAAuB,EACxB,MAAM,oCAAoC,CAAC;AAK5C,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,eAAe,CAAC;IACnB,QAAQ,EAAE,uBAAuB,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAgKF,KAAK,OAAO,GAAG;IACb,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAgBF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAuB7D,CAAC"}

package/lib/exercises/math/python/pyForLoop1Exercise.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pyForLoop1Exercise.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/python/pyForLoop1Exercise.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AAUlC,KAAK,WAAW,GAAG;IACjB,QAAQ,EAAE,cAAc,CAAC;CAC1B,CAAC;AAOF,KAAK,cAAc,GAAG;IACpB,CAAC,EAAE,MAAM,CAAC;IACV,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,CAAC,CAAC,EAAE,MAAM,CAAC;CACZ,CAAC;AA6KF,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,WAAW,CAaxD,CAAC"}
+{"version":3,"file":"pyForLoop1Exercise.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/python/pyForLoop1Exercise.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAST,MAAM,0BAA0B,CAAC;AASlC,KAAK,WAAW,GAAG;IACjB,QAAQ,EAAE,cAAc,CAAC;CAC1B,CAAC;AAOF,KAAK,cAAc,GAAG;IACpB,CAAC,EAAE,MAAM,CAAC;IACV,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,CAAC,CAAC,EAAE,MAAM,CAAC;CACZ,CAAC;AA6KF,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,WAAW,CAaxD,CAAC"}

package/lib/exercises/math/sequences/genericSequenceVariations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"genericSequenceVariations.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/sequences/genericSequenceVariations.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,QAAQ,EAQT,MAAM,0BAA0B,CAAC;AAOlC,KAAK,WAAW,GAAG;IACjB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAmDF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAe3D,CAAC"}
+{"version":3,"file":"genericSequenceVariations.d.ts","sourceRoot":"","sources":["../../../../src/exercises/math/sequences/genericSequenceVariations.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,QAAQ,EAQT,MAAM,0BAA0B,CAAC;AAMlC,KAAK,WAAW,GAAG;IACjB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAmDF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAe3D,CAAC"}

package/lib/exercises/math/sets/intervals/inequalityToInterval.d.ts

@@ -1,9 +1,7 @@
 import { Exercise } from "../../../../exercises/exercise";
-import { ClosureType } from "../../../../tree/nodes/sets/closure";
+import { IntervalNodeIdentifiers } from "../../../../tree/nodes/sets/intervalNode";
 type Identifiers = {
-    intervalMin: number | string;
-    intervalMax: number | string;
-    intervalClosure: ClosureType;
+    intervalIdentifiers: IntervalNodeIdentifiers;
 };
 export declare const inequalityToInterval: Exercise<Identifiers>;
 export {};

package/lib/exercises/math/sets/intervals/inequalityToInterval.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inequalityToInterval.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/inequalityToInterval.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAQT,MAAM,0BAA0B,CAAC;AASlC,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAO5D,KAAK,WAAW,GAAG;IACjB,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,eAAe,EAAE,WAAW,CAAC;CAC9B,CAAC;AAkFF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CActD,CAAC"}
+{"version":3,"file":"inequalityToInterval.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/inequalityToInterval.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAUT,MAAM,0BAA0B,CAAC;AAQlC,OAAO,EAGL,uBAAuB,EACxB,MAAM,oCAAoC,CAAC;AAI5C,KAAK,WAAW,GAAG;IAIjB,mBAAmB,EAAE,uBAAuB,CAAC;CAC9C,CAAC;AAoFF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAetD,CAAC"}

package/lib/exercises/math/sets/intervals/inequalityToInterval.js

@@ -3,14 +3,29 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.inequalityToInterval = void 0;
 const exercise_1 = require("../../../../exercises/exercise");
 const getDistinctQuestions_1 = require("../../../../exercises/utils/getDistinctQuestions");
-const intervals_1 = require("../../../../math/sets/intervals/intervals");
+const infiniteNode_1 = require("../../../../tree/nodes/numbers/infiniteNode");
+const intervalNode_1 = require("../../../../tree/nodes/sets/intervalNode");
 const intervalParser_1 = require("../../../../tree/parsers/intervalParser");
 const shuffle_1 = require("../../../../utils/alea/shuffle");
+const rebuildIdentifiers = (oldIds) => {
+    const a = oldIds.intervalMin === "-infty"
+        ? infiniteNode_1.MinusInfinityNode
+        : oldIds.intervalMin.toTree();
+    const b = oldIds.intervalMax === "infty"
+        ? infiniteNode_1.PlusInfinityNode
+        : oldIds.intervalMax.toTree();
+    const closure = oldIds.intervalClosure;
+    const interval = new intervalNode_1.IntervalNode(a, b, closure);
+    return { intervalIdentifiers: interval.toIdentifiers() };
+};
 const getInequalityToIntervalQuestion = () => {
-    const interval = intervals_1.IntervalConstructor.random();
-    const inequalityString = interval.toInequality();
+    const interval = intervalNode_1.IntervalNodeConstructor.random();
+    const inequality = interval.toInequality();
     const answer = `x\\in\\ ${interval.toTex()}`;
-    const instruction = `Soit $${inequalityString}$. Traduire cette inégalité en appartenance à un intervalle.`;
+    const instruction = `Soit $${inequality.toTex()}$. Traduire cette inégalité en appartenance à un intervalle.`;
+    const identifiers = {
+        intervalIdentifiers: interval.toIdentifiers(),
+    };
     const question = {
         answer,
         instruction: instruction,
@@ -27,34 +42,21 @@ const getInequalityToIntervalQuestion = () => {
             "infty",
         ],
         answerFormat: "tex",
-        identifiers: {
-            intervalMin: interval.min === -Infinity ? "-infty" : interval.min,
-            intervalMax: interval.max === Infinity ? "infty" : interval.max,
-            intervalClosure: interval.closure,
-        },
+        identifiers,
     };
     return question;
 };
-const getPropositions = (n, { answer, intervalClosure, intervalMax, intervalMin }) => {
-    const reverseBracket = (bracket) => {
-        return bracket === "[" ? "]" : "[";
-    };
-    const min = intervalMin === "-infty" ? -Infinity : intervalMin;
-    const max = intervalMax === "infty" ? Infinity : intervalMax;
-    const interval = new intervals_1.Interval(min.toTree(), max.toTree(), intervalClosure);
+const getPropositions = (n, { answer, intervalIdentifiers }) => {
+    const interval = intervalNode_1.IntervalNodeConstructor.fromIdentifiers(intervalIdentifiers);
     const propositions = [];
     (0, exercise_1.addValidProp)(propositions, answer);
-    const wrongStatements = [
-        `x\\in\\ ${reverseBracket(interval.leftBracket)}\\ ${interval.insideToTex()}\\ ${interval.rightBracket}\\ `,
-        `x\\in\\ ${interval.leftBracket}\\ ${interval.insideToTex()}\\ ${reverseBracket(interval.rightBracket)}\\ `,
-        `x\\in\\ ${reverseBracket(interval.leftBracket)}\\ ${interval.insideToTex()}\\ ${reverseBracket(interval.rightBracket)}\\ `,
-    ];
-    wrongStatements.forEach((ineq) => {
-        (0, exercise_1.addWrongProp)(propositions, ineq);
-    });
+    (0, exercise_1.tryToAddWrongProp)(propositions, "x\\in\\ " + interval.toLeftReversedClosure().toTex());
+    (0, exercise_1.tryToAddWrongProp)(propositions, "x\\in\\ " + interval.toRightReversedClosure().toTex());
+    (0, exercise_1.tryToAddWrongProp)(propositions, "x\\in\\ " +
+        interval.toLeftReversedClosure().toRightReversedClosure().toTex());
     return (0, shuffle_1.shuffle)(propositions);
 };
-const isAnswerValid = (ans, { intervalClosure, intervalMax, intervalMin, answer }) => {
+const isAnswerValid = (ans, { answer }) => {
     try {
         const parsed = (0, intervalParser_1.intervalParser)(ans.replaceAll("x\\in", ""));
         if (!parsed)
@@ -78,4 +80,5 @@ exports.inequalityToInterval = {
     getPropositions,
     isAnswerValid,
     subject: "Mathématiques",
+    rebuildIdentifiers,
 };

package/lib/exercises/math/sets/intervals/intervalToInequality.d.ts

@@ -1,9 +1,7 @@
 import { Exercise } from "../../../../exercises/exercise";
-import { ClosureType } from "../../../../tree/nodes/sets/closure";
+import { IntervalNodeIdentifiers } from "../../../../tree/nodes/sets/intervalNode";
 type Identifiers = {
-    intervalMin: number | string;
-    intervalMax: number | string;
-    intervalClosure: ClosureType;
+    intervalIdentifiers: IntervalNodeIdentifiers;
 };
 export declare const intervalToInequality: Exercise<Identifiers>;
 export {};

package/lib/exercises/math/sets/intervals/intervalToInequality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intervalToInequality.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/intervalToInequality.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAQT,MAAM,0BAA0B,CAAC;AASlC,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAK5D,KAAK,WAAW,GAAG;IACjB,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,eAAe,EAAE,WAAW,CAAC;CAC9B,CAAC;AAkIF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CActD,CAAC"}
+{"version":3,"file":"intervalToInequality.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/intervalToInequality.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,0BAA0B,CAAC;AAWlC,OAAO,EAGL,uBAAuB,EACxB,MAAM,oCAAoC,CAAC;AAK5C,KAAK,WAAW,GAAG;IAIjB,mBAAmB,EAAE,uBAAuB,CAAC;CAC9C,CAAC;AA+EF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAetD,CAAC"}

package/lib/exercises/math/sets/intervals/intervalToInequality.js

@@ -3,97 +3,58 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.intervalToInequality = void 0;
 const exercise_1 = require("../../../../exercises/exercise");
 const getDistinctQuestions_1 = require("../../../../exercises/utils/getDistinctQuestions");
-const intervals_1 = require("../../../../math/sets/intervals/intervals");
-const inequationNode_1 = require("../../../../tree/nodes/inequations/inequationNode");
-const numberNode_1 = require("../../../../tree/nodes/numbers/numberNode");
-const variableNode_1 = require("../../../../tree/nodes/variables/variableNode");
+const infiniteNode_1 = require("../../../../tree/nodes/numbers/infiniteNode");
+const intervalNode_1 = require("../../../../tree/nodes/sets/intervalNode");
 const shuffle_1 = require("../../../../utils/alea/shuffle");
+const rebuildIdentifiers = (oldIds) => {
+    const a = oldIds.intervalMin === "-infty"
+        ? infiniteNode_1.MinusInfinityNode
+        : oldIds.intervalMin.toTree();
+    const b = oldIds.intervalMax === "infty"
+        ? infiniteNode_1.PlusInfinityNode
+        : oldIds.intervalMax.toTree();
+    const closure = oldIds.intervalClosure;
+    const interval = new intervalNode_1.IntervalNode(a, b, closure);
+    return { intervalIdentifiers: interval.toIdentifiers() };
+};
+const getInstruction = (identifiers) => {
+    const interval = intervalNode_1.IntervalNodeConstructor.fromIdentifiers(identifiers.intervalIdentifiers);
+    return `Soit $x \\in ${interval.toTex()}$. Traduire cette appartenance en une inégalité.`;
+};
+const getAnswer = (identifiers) => {
+    const interval = intervalNode_1.IntervalNodeConstructor.fromIdentifiers(identifiers.intervalIdentifiers);
+    const inequality = interval.toInequality();
+    const answer = inequality.toTex();
+    return answer;
+};
 const getIntervalToInequalityQuestion = () => {
-    const interval = intervals_1.IntervalConstructor.random();
-    const inequalityString = interval.toInequality();
-    const answer = inequalityString;
-    const instruction = `Soit $x \\in ${interval.toTex()}$. Traduire cette appartenance en une inégalité.`;
+    const interval = intervalNode_1.IntervalNodeConstructor.random();
+    const identifiers = {
+        intervalIdentifiers: interval.toIdentifiers(),
+    };
     const question = {
-        answer,
-        instruction: instruction,
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
         keys: ["x", "inf", "sup", "geq", "leq", "infty"],
         answerFormat: "tex",
-        identifiers: {
-            intervalMin: interval.min === -Infinity ? "-infty" : interval.min,
-            intervalMax: interval.max === Infinity ? "infty" : interval.max,
-            intervalClosure: interval.closure,
-        },
+        identifiers,
     };
     return question;
 };
-const getPropositions = (n, { answer, intervalClosure, intervalMax, intervalMin }) => {
-    const switchInclusion = (symbol) => {
-        if (symbol === "\\le")
-            return "<";
-        if (symbol === "<")
-            return "\\le";
-        if (symbol === ">")
-            return "\\ge";
-        return ">";
-    };
-    const reverseInequality = (symbol) => {
-        if (symbol === "\\le")
-            return "\\ge";
-        if (symbol === "<")
-            return ">";
-        if (symbol === ">")
-            return "<";
-        return "\\le";
-    };
-    const min = intervalMin === "-infty" ? -Infinity : intervalMin;
-    const max = intervalMax === "infty" ? Infinity : intervalMax;
-    const interval = new intervals_1.Interval(min.toTree(), max.toTree(), intervalClosure);
+const getPropositions = (n, { answer, intervalIdentifiers }) => {
+    const interval = intervalNode_1.IntervalNodeConstructor.fromIdentifiers(intervalIdentifiers);
     const propositions = [];
     (0, exercise_1.addValidProp)(propositions, answer);
-    const xNode = new variableNode_1.VariableNode("x");
-    let wrongIneqs = [];
-    if (interval.min === -Infinity) {
-        wrongIneqs = [
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.max)], switchInclusion(interval.rightInequalitySymbol)),
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.max)], reverseInequality(switchInclusion(interval.rightInequalitySymbol))),
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.max)], reverseInequality(interval.rightInequalitySymbol)),
-        ];
-    }
-    else if (interval.max === Infinity) {
-        wrongIneqs = [
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.min)], switchInclusion(interval.leftInequalitySymbol)),
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.min)], reverseInequality(switchInclusion(interval.leftInequalitySymbol))),
-            new inequationNode_1.InequationNode([xNode, new numberNode_1.NumberNode(interval.min)], interval.leftInequalitySymbol),
-        ];
-    }
-    else {
-        wrongIneqs = [
-            new inequationNode_1.InequationNode([new numberNode_1.NumberNode(interval.min), xNode, new numberNode_1.NumberNode(interval.max)], [
-                switchInclusion(interval.leftInequalitySymbol),
-                interval.rightInequalitySymbol,
-            ]),
-            new inequationNode_1.InequationNode([new numberNode_1.NumberNode(interval.min), xNode, new numberNode_1.NumberNode(interval.max)], [
-                interval.leftInequalitySymbol,
-                switchInclusion(interval.rightInequalitySymbol),
-            ]),
-            new inequationNode_1.InequationNode([new numberNode_1.NumberNode(interval.min), xNode, new numberNode_1.NumberNode(interval.max)], [
-                switchInclusion(interval.leftInequalitySymbol),
-                switchInclusion(interval.rightInequalitySymbol),
-            ]),
-        ];
-    }
-    wrongIneqs.forEach((ineq) => {
-        (0, exercise_1.addWrongProp)(propositions, ineq.toTex());
-    });
+    const ineq = interval.toInequality();
+    (0, exercise_1.tryToAddWrongProp)(propositions, ineq.toSwicthedStrictness().toTex());
+    (0, exercise_1.tryToAddWrongProp)(propositions, ineq.toSwitched().toTex());
+    (0, exercise_1.tryToAddWrongProp)(propositions, ineq.toSwitched().toSwicthedStrictness().toTex());
     return (0, shuffle_1.shuffle)(propositions);
 };
-const isAnswerValid = (ans, { intervalClosure, intervalMax, intervalMin }) => {
-    const min = intervalMin === "-infty" ? -Infinity : intervalMin;
-    const max = intervalMax === "infty" ? Infinity : intervalMax;
-    const interval = new intervals_1.Interval(min.toTree(), max.toTree(), intervalClosure).toTree();
+const isAnswerValid = (ans, { answer, intervalIdentifiers }) => {
+    const interval = intervalNode_1.IntervalNodeConstructor.fromIdentifiers(intervalIdentifiers);
     const inequality = interval.toInequality();
-    const answer = inequality;
-    const texs = answer.toAllValidTexs();
+    const texs = inequality.toAllValidTexs();
     return texs.includes(ans);
 };
 exports.intervalToInequality = {
@@ -109,4 +70,5 @@ exports.intervalToInequality = {
     getPropositions,
     isAnswerValid,
     subject: "Mathématiques",
+    rebuildIdentifiers,
 };

package/lib/exercises/math/sets/intervals/intervalsIntersection.d.ts

@@ -1,12 +1,8 @@
 import { Exercise } from "../../../../exercises/exercise";
-import { ClosureType } from "../../../../tree/nodes/sets/closure";
+import { IntervalNodeIdentifiers } from "../../../../tree/nodes/sets/intervalNode";
 type Identifiers = {
-    int1Min: number;
-    int1Max: number;
-    int1Closure: ClosureType;
-    int2Min: number;
-    int2Max: number;
-    int2Closure: ClosureType;
+    int1Identifiers: IntervalNodeIdentifiers;
+    int2Identifiers: IntervalNodeIdentifiers;
 };
 export declare const intervalsIntersection: Exercise<Identifiers>;
 export {};

package/lib/exercises/math/sets/intervals/intervalsIntersection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intervalsIntersection.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/intervalsIntersection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAQT,MAAM,0BAA0B,CAAC;AAOlC,OAAO,EAAW,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAQrE,KAAK,WAAW,GAAG;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AA6EF,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,WAAW,CAevD,CAAC"}
+{"version":3,"file":"intervalsIntersection.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/sets/intervals/intervalsIntersection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,0BAA0B,CAAC;AAYlC,OAAO,EAGL,uBAAuB,EAExB,MAAM,oCAAoC,CAAC;AAK5C,KAAK,WAAW,GAAG;IAOjB,eAAe,EAAE,uBAAuB,CAAC;IACzC,eAAe,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AA4IF,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,WAAW,CAgBvD,CAAC"}