math-exercises 3.0.183 → 3.0.184

package/lib/exercises/math/functions/composition/functionComposition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functionComposition.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/composition/functionComposition.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AASrC,OAAO,EAEL,eAAe,EAChB,MAAM,qCAAqC,CAAC;AA8D7C,KAAK,WAAW,GAAG;IACjB,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B,CAAC;AA4NF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,CAiBrD,CAAC"}
+{"version":3,"file":"functionComposition.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/composition/functionComposition.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AASrC,OAAO,EAEL,eAAe,EAChB,MAAM,qCAAqC,CAAC;AAgE7C,KAAK,WAAW,GAAG;IACjB,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B,CAAC;AAgNF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,CAiBrD,CAAC"}

package/lib/exercises/math/functions/composition/functionComposition.js

@@ -8,6 +8,8 @@ import { NodeConstructor, } from "../../../../tree/nodes/nodeConstructor.js";
 import { multiply } from "../../../../tree/nodes/operators/multiplyNode.js";
 import { isOperatorNode } from "../../../../tree/nodes/operators/operatorNode.js";
 import { parseAlgebraic } from "../../../../tree/parsers/latexParser.js";
+import { NodeComparator } from "../../../../tree/utilities/nodeComparator.js";
+import { NodeRewriter } from "../../../../tree/utilities/nodeRewriter.js";
 import { random } from "../../../../utils/alea/random.js";
 import { alignTex } from "../../../../utils/latex/alignTex.js";
 const nodeBySubstitutingX = (node, strVar) => {
@@ -99,28 +101,15 @@ const getAnswer = (identifiers) => {
 const isAnswerValid = (ans, { answer }) => {
     const nodeAns = parseAlgebraic(ans);
     const nodeAnswer = parseAlgebraic(answer);
-    //  Une façon de savoir que expr1(x) et expr2(x) sont équivalentes:
-    //  x|->expr1(expr2(x)) doit être la même fonction que x|->expr2(expr1(x))
-    /*!! ROBIN
-    Fix à l'arrache car les tests pétent
-    */
-    // const nodeAnsOfAnswer = nodeBySubstitutingX(
-    //   nodeAns.simplify(),
-    //   nodeAnswer.simplify().toTex(),
-    // ).simplify();
-    // const nodeAnswerOfAns = nodeBySubstitutingX(
-    //   nodeAnswer.simplify(),
-    //   nodeAns.simplify().toTex(),
-    // ).simplify();
-    // return [0, 1, 1000].every((x) => {
-    //   return (
-    //     substract(
-    //       nodeAnsOfAnswer.evaluate({ x }),
-    //       nodeAnswerOfAns.evaluate({ x }),
-    //     ).evaluate() === 0
-    //   );
-    // });
-    return nodeAns.simplify().toTex() === nodeAnswer.simplify().toTex();
+    const isEquivalentFound = () => {
+        const arrNodeAnswerEquivalent = NodeRewriter.getArrNodeEquivalent(nodeAnswer);
+        return arrNodeAnswerEquivalent.some((nodeAnswerRefined) => {
+            const isEqual = NodeComparator.isEqualViaSub(nodeAns, nodeAnswerRefined);
+            return isEqual;
+        });
+    };
+    const isValid = isEquivalentFound();
+    return isValid;
 };
 const getPropositions = (n, { answer, ...identifiers }) => {
     const { nodeIds } = identifiers;

package/lib/exercises/math/functions/exponential/algebraic/rewriteExpUsingExpA.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rewriteExpUsingExpA.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/algebraic/rewriteExpUsingExpA.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,6BAA6B,CAAC;AAOrC,OAAO,EAEL,eAAe,EAChB,MAAM,qCAAqC,CAAC;AAgB7C,KAAK,WAAW,GAAG;IACjB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,eAAe,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AA4XF,KAAK,OAAO,GAAG;IACb,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAcF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAkB9D,CAAC"}
+{"version":3,"file":"rewriteExpUsingExpA.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/algebraic/rewriteExpUsingExpA.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,6BAA6B,CAAC;AAOrC,OAAO,EAEL,eAAe,EAChB,MAAM,qCAAqC,CAAC;AAkB7C,KAAK,WAAW,GAAG;IACjB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,eAAe,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAiZF,KAAK,OAAO,GAAG;IACb,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAcF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAkB9D,CAAC"}

package/lib/exercises/math/functions/exponential/algebraic/rewriteExpUsingExpA.js

@@ -12,6 +12,8 @@ import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
 import { power } from "../../../../../tree/nodes/operators/powerNode.js";
 import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
 import { parseAlgebraic } from "../../../../../tree/parsers/latexParser.js";
+import { NodeComparator } from "../../../../../tree/utilities/nodeComparator.js";
+import { NodeRewriter } from "../../../../../tree/utilities/nodeRewriter.js";
 import { random } from "../../../../../utils/alea/random.js";
 const myExpFunc = (opts) => {
     return (nodeChild) => new ExpNode(nodeChild, { useExpNotation: opts.isUseExpNotation });
@@ -170,13 +172,18 @@ $$
 const getPropositions = (n, { answer, ...identifiers }, optsIn) => {
     const opts = optsIn ?? optsDefault;
     const myExp = myExpFunc(opts);
+    const nodeAnswer = getAnswerNode(identifiers, opts);
+    const nodeAnswerSameOrEquivalent = random(NodeRewriter.getArrNodeEquivalent(nodeAnswer));
     const { nodeIdsA, nodeIdsB } = identifiers;
     const [nodeA, nodeB] = [nodeIdsA, nodeIdsB].map((nodeIds) => NodeConstructor.fromIdentifiers(nodeIds));
     const propositions = [];
-    addValidProp(propositions, answer);
+    addValidProp(propositions, nodeAnswerSameOrEquivalent.toTex());
     [0, 1, 2].forEach((rand) => {
         const identifiersWrong = Object.assign({}, identifiers, { rand });
-        tryToAddWrongProp(propositions, getAnswer(identifiersWrong, opts));
+        const nodeWrong = getAnswerNode(identifiersWrong, opts);
+        if (!NodeComparator.isEqualViaSub(nodeWrong, nodeAnswerSameOrEquivalent)) {
+            tryToAddWrongProp(propositions, getAnswer(identifiersWrong, opts));
+        }
     });
     //exp(a)+exp(b)
     {
@@ -225,7 +232,15 @@ const isAnswerValid = (ans, { answer, ...identifiers }, optsIn) => {
         }
     }
     const nodeAnswer = parseAlgebraic(answer);
-    return substract(nodeAns, nodeAnswer).evaluate() === 0;
+    const isEquivalentFound = () => {
+        const arrNodeAnswerEquivalent = NodeRewriter.getArrNodeEquivalent(nodeAnswer);
+        return arrNodeAnswerEquivalent.some((nodeAnswerRefined) => {
+            const isEqual = NodeComparator.isEqualViaSub(nodeAns, nodeAnswerRefined);
+            return isEqual;
+        });
+    };
+    const isValid = isEquivalentFound();
+    return isValid;
 };
 const getRewriteExpUsingExpAQuestion = (optsIn) => {
     const opts = optsIn ?? optsDefault;

package/lib/exercises/math/functions/exponential/expKT/derivativeOfAExpKT.d.ts

@@ -0,0 +1,8 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+type Identifiers = {
+    a: number;
+    k: number;
+};
+export declare const derivativeOfAExpKT: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=derivativeOfAExpKT.d.ts.map

package/lib/exercises/math/functions/exponential/expKT/derivativeOfAExpKT.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivativeOfAExpKT.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/expKT/derivativeOfAExpKT.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AASrC,KAAK,WAAW,GAAG;IAEjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAgGF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,WAAW,CAkBpD,CAAC"}

package/lib/exercises/math/functions/exponential/expKT/derivativeOfAExpKT.js

@@ -0,0 +1,108 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { randint } from "../../../../../math/utils/random/randint.js";
+import { exp } from "../../../../../tree/nodes/functions/expNode.js";
+import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
+import { parseAlgebraic } from "../../../../../tree/parsers/latexParser.js";
+import { handleVEAError } from "../../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer, a, k }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    tryToAddWrongProp(propositions, multiply(a, exp(multiply(k, "t"))).toTex());
+    tryToAddWrongProp(propositions, multiply(a, exp("t")).toTex());
+    propWhile(propositions, n, () => {
+        tryToAddWrongProp(propositions, multiply(randint(-10, 10, [0]), exp(multiply(k, "t"))).toTex());
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    const { a, k } = identifiers;
+    return multiply(multiply(a, k), exp(multiply(k, "t")))
+        .simplify()
+        .toTex();
+};
+const getInstruction = (identifiers) => {
+    const { a, k } = identifiers;
+    return `Soit $f$ la fonction définie sur $\\mathbb{R}$ par : 
+  
+$$
+f(t) = ${multiply(a, exp(multiply(k, "t"))).toTex()}
+$$
+
+Calculer la dérivée $f'$ de $f$.`;
+};
+const getHint = () => {
+    return `Pour tout $k$ réel, on a :
+  
+$$
+\\left(e^{kt}\\right)' = ke^{kt}
+$$`;
+};
+const getCorrection = (identifiers) => {
+    const { a, k } = identifiers;
+    return `Pour tout $k$ réel, on a :
+  
+$$
+\\left(e^{kt}\\right)' = ke^{kt}
+$$
+
+Ici, on a donc pour tout $t$ réel : 
+
+${alignTex([
+        ["f'(t)", "=", multiply(a, multiply(k, exp(multiply(k, "t")))).toTex()],
+        ["", "=", getAnswer(identifiers)],
+    ])}`;
+};
+const getKeys = () => {
+    return ["epower", "t"];
+};
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        const parsed = parseAlgebraic(ans);
+        if (!parsed)
+            return false;
+        return parsed.simplify().toTex() === answer;
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getDerivativeOfAExpKtQuestion = () => {
+    const a = randint(-10, 10, [0, 1]);
+    const k = randint(-10, 10, [0, 1]);
+    const identifiers = {
+        a,
+        k,
+    };
+    return getQuestionFromIdentifiers(identifiers);
+};
+const getQuestionFromIdentifiers = (identifiers) => {
+    return {
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
+        keys: getKeys(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+    };
+};
+export const derivativeOfAExpKT = {
+    id: "derivativeOfAExpKT",
+    connector: "=",
+    label: "Dérivée du type $ae^{kt}$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getDerivativeOfAExpKtQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/functions/exponential/expKT/drugConcentrationMaximum.d.ts

@@ -0,0 +1,8 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+type Identifiers = {
+    a: number;
+    k: number;
+};
+export declare const drugConcentrationMaximum: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=drugConcentrationMaximum.d.ts.map

package/lib/exercises/math/functions/exponential/expKT/drugConcentrationMaximum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drugConcentrationMaximum.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/expKT/drugConcentrationMaximum.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAarC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CAEX,CAAC;AAyIF,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,WAAW,CAmB1D,CAAC"}

package/lib/exercises/math/functions/exponential/expKT/drugConcentrationMaximum.js

@@ -0,0 +1,144 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { rationalVEA } from "../../../../../exercises/vea/rationalVEA.js";
+import { randfloat } from "../../../../../math/utils/random/randfloat.js";
+import { randint } from "../../../../../math/utils/random/randint.js";
+import { round } from "../../../../../math/utils/round.js";
+import { exp } from "../../../../../tree/nodes/functions/expNode.js";
+import { frac } from "../../../../../tree/nodes/operators/fractionNode.js";
+import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
+import { handleVEAError } from "../../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    propWhile(propositions, n, () => {
+        tryToAddWrongProp(propositions, randfloat(0.1, 4, 2).frenchify());
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    //t = 1/k
+    return round(frac(1, identifiers.k).evaluate(), 2).frenchify();
+};
+const getFunc = (identifiers) => {
+    const { a, k } = identifiers;
+    return multiply(a, multiply("t", exp(multiply(-k, "t")))).simplify();
+};
+const getInstruction = (identifiers) => {
+    return `On fait absorber un médicament, sous forme de compriné, à un patient. On modélise la quantité de médicament présente dans le sang du patient, exprimé en $\\textrm{mg}$, par la fonction $f$ définie sur l'intervalle $[0; +\\infty[$ par :
+
+$$
+f(t)=${getFunc(identifiers).toTex()}
+$$
+
+où $t$ définit le temps, exprimé en heure, écoulé depuis
+la prise du comprimé.
+
+Au bout de combien de temps la quantité de médicament présente dans le sang du patient sera-t-elle maximale ?
+
+Donner une valeur arrondie au centième.`;
+};
+const getHint = () => {
+    return `Dérive la fonction $f$, puis étudie le signe de $f'(x)$. Tu pourras alors en déduire les variations de $f$, et ainsi déterminer la valeur de $t$ pour laquelle la quantité de médicament dans le sang du patient sera maximale.`;
+};
+const getCorrection = (identifiers) => {
+    const { a, k } = identifiers;
+    //atexp(-kt)
+    //f' = aexp(-kt) + at(-kexp(-kt))
+    //f' = exp(-kt)(a-kat)
+    //f' = (aexp(-kt)(1-kt)
+    //t = 1/k
+    const expo = exp(multiply(-k, "t"));
+    return `On calcule $f'(t)$. Pour cela, on utilise les deux propriétés suivantes :
+  
+$$
+(uv)' = u'v+uv'
+$$
+
+et 
+
+$$
+\\left(e^{kx}\\right)' = ke^{kx}
+$$
+  
+
+On a donc : 
+
+${alignTex([
+        [
+            "f'(t)",
+            "=",
+            substract(multiply(a, expo), multiply(multiply(a, "t"), multiply(-k, expo))).toTex(),
+        ],
+        [
+            "",
+            "=",
+            multiply(multiply(a, expo), substract(1, multiply(k, "t"))).toTex(),
+        ],
+    ])}
+
+On étudie alors le signe de $f'(t)$ : 
+
+- $${multiply(a, expo).toTex()}$ est positif sur $\\mathbb{R}$ car l'exponentielle est strictement positive sur $\\mathbb{R}$.
+
+- $${substract(1, multiply(k, "t")).toTex()}\\geq 0 \\iff t\\leq ${frac(1, k).toTex()}$
+
+La fonction $f$ admet donc un maximum pour $t\\approx ${getAnswer(identifiers)}$.
+
+
+`;
+};
+const getKeys = () => {
+    return [];
+};
+const isAnswerValid = (ans, { k }) => {
+    try {
+        return rationalVEA(ans, frac(1, k).toTex(), {
+            allowDecimal: true,
+            decimalPrecision: 2,
+        });
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getDrugConcentrationMaximumQuestion = () => {
+    const a = 0.5 * randint(1, 20);
+    const k = randfloat(0.1, 3, 1, [1]);
+    const identifiers = {
+        a,
+        k,
+    };
+    return getQuestionFromIdentifiers(identifiers);
+};
+const getQuestionFromIdentifiers = (identifiers) => {
+    return {
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
+        keys: getKeys(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+    };
+};
+export const drugConcentrationMaximum = {
+    id: "drugConcentrationMaximum",
+    connector: "=",
+    label: "Déterminer la concentration maximale d'un médicament dans le sang pour une fonction avec exponentielle du type $f(t) = ate^{-kt}$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getDrugConcentrationMaximumQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/functions/exponential/expKT/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./drugConcentrationMaximum.js";
+export * from "./derivativeOfAExpKT.js";
+//# sourceMappingURL=index.d.ts.map

package/lib/exercises/math/functions/exponential/expKT/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/expKT/index.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAC;AAC9C,cAAc,yBAAyB,CAAC"}

package/lib/exercises/math/functions/exponential/expKT/index.js

@@ -0,0 +1,2 @@
+export * from "./drugConcentrationMaximum.js";
+export * from "./derivativeOfAExpKT.js";

package/lib/exercises/math/functions/exponential/expSimplifiying.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expSimplifiying.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/expSimplifiying.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAerC,KAAK,WAAW,GAAG;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,CAAC,CAAC,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAmKF,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,WAAW,CAYjD,CAAC"}
+{"version":3,"file":"expSimplifiying.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/expSimplifiying.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AAkBrC,KAAK,WAAW,GAAG;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,CAAC,CAAC,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AA0PF,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,WAAW,CAajD,CAAC"}

package/lib/exercises/math/functions/exponential/expSimplifiying.js

@@ -2,13 +2,16 @@ import { addValidProp, propWhile, tryToAddWrongProp, } from "../../../../exercis
 import { getDistinctQuestions } from "../../../../exercises/utils/getDistinctQuestions.js";
 import { Polynomial, PolynomialConstructor, } from "../../../../math/polynomials/polynomial.js";
 import { randint } from "../../../../math/utils/random/randint.js";
-import { ExpNode, isExpNode } from "../../../../tree/nodes/functions/expNode.js";
+import { exp, ExpNode, isExpNode } from "../../../../tree/nodes/functions/expNode.js";
 import { isNumberNode } from "../../../../tree/nodes/numbers/numberNode.js";
-import { FractionNode } from "../../../../tree/nodes/operators/fractionNode.js";
+import { add } from "../../../../tree/nodes/operators/addNode.js";
+import { frac, FractionNode } from "../../../../tree/nodes/operators/fractionNode.js";
 import { MultiplyNode } from "../../../../tree/nodes/operators/multiplyNode.js";
+import { substract } from "../../../../tree/nodes/operators/substractNode.js";
 import { parseAlgebraic } from "../../../../tree/parsers/latexParser.js";
 import { shuffle } from "../../../../utils/alea/shuffle.js";
 import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../utils/latex/alignTex.js";
 const getStatementNode = (identifiers) => {
     const { random, a, uCoeffs, vCoeffs } = identifiers;
     const u = new Polynomial(uCoeffs);
@@ -47,8 +50,92 @@ const getAnswer = (identifiers) => {
     })
         .toTex();
 };
-// const getHint: GetHint<Identifiers> = (identifiers) => {};
-// const getCorrection: GetCorrection<Identifiers> = (identifiers) => {};
+const getHint = () => {
+    return `Utilise les propriétés suivantes : pour tout $x$, $y$ réels, on a :
+  
+$$
+e^x \\times e^y = e^{x+y}
+$$
+
+et
+
+$$
+\\frac{e^x}{e^y} = e^{x-y}
+$$`;
+};
+const getCorrection = (identifiers) => {
+    const { random, uCoeffs, vCoeffs, a } = identifiers;
+    const u = new Polynomial(uCoeffs).toTree();
+    const v = new Polynomial(vCoeffs).toTree();
+    const statement = getStatementNode(identifiers);
+    switch (random) {
+        case 1:
+            //e^u*e^a / e^v
+            return `Pour tout $x$ et $y$ réels, on a :
+  
+$$
+e^x \\times e^y = e^{x+y}
+$$
+
+et
+
+$$
+\\frac{e^x}{e^y} = e^{x-y}
+$$
+
+Ici, on peut donc simplifier de la sorte : 
+
+${alignTex([
+                [
+                    statement.toTex(),
+                    "=",
+                    frac(exp(add(u, a)).simplify({ forbidFactorize: true }), exp(v)).toTex(),
+                ],
+                [
+                    "",
+                    "=",
+                    exp(substract(add(u, a).simplify({ forbidFactorize: true }), v)).toTex(),
+                ],
+                ["", "=", getAnswer(identifiers)],
+            ])}
+`;
+            break;
+        case 2:
+            //e^u * e^v
+            {
+                return `Pour tous $x$ et $y$ réels, on a : 
+      
+$$
+e^x \\times e^y = e^{x+y}
+$$
+
+Ici, on peut donc simplifier de la sorte : 
+
+${alignTex([
+                    [statement.toTex(), "=", exp(add(u, v)).toTex()],
+                    ["", "=", getAnswer(identifiers)],
+                ])}`;
+            }
+            break;
+        case 3:
+        default: {
+            //e^u / e^v
+            return `Pour tous $x$ et $y$ réels, on a : 
+      
+$$
+\\frac{e^x}{e^y} = e^{x-y}
+$$
+
+Ici, on peut donc simplifier de la sorte : 
+
+${alignTex([
+                [statement.toTex(), "=", exp(substract(u, v)).toTex()],
+                ["", "=", getAnswer(identifiers)],
+            ])}`;
+        }
+    }
+    return ``;
+};
 const getQuestionFromIdentifiers = (identifiers) => {
     const question = {
         instruction: getInstruction(identifiers),
@@ -56,6 +143,8 @@ const getQuestionFromIdentifiers = (identifiers) => {
         keys: ["x", "epower", "exp"],
         answerFormat: "tex",
         identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
     };
     return question;
 };
@@ -148,4 +237,5 @@ export const expSimplifiying = {
     isAnswerValid,
     subject: "Mathématiques",
     getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
 };

package/lib/exercises/math/functions/exponential/index.d.ts

@@ -3,4 +3,7 @@ export * from "./expSimplifiying.js";
 export * from "./expFactorization.js";
 export * from "./algebraic/index.js";
 export * from "./definition/index.js";
+export * from "./expKT/index.js";
+export * from "./variations/index.js";
+export * from "./sign/index.js";
 //# sourceMappingURL=index.d.ts.map

package/lib/exercises/math/functions/exponential/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,iBAAiB,CAAC"}

package/lib/exercises/math/functions/exponential/index.js

@@ -3,3 +3,6 @@ export * from "./expSimplifiying.js";
 export * from "./expFactorization.js";
 export * from "./algebraic/index.js";
 export * from "./definition/index.js";
+export * from "./expKT/index.js";
+export * from "./variations/index.js";
+export * from "./sign/index.js";

package/lib/exercises/math/functions/exponential/sign/expFunctionBasicSign.d.ts

@@ -0,0 +1,9 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+type Identifiers = {
+    a: number;
+    k: number;
+    type: number;
+};
+export declare const expFunctionBasicSign: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=expFunctionBasicSign.d.ts.map

package/lib/exercises/math/functions/exponential/sign/expFunctionBasicSign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expFunctionBasicSign.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/sign/expFunctionBasicSign.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAOrC,KAAK,WAAW,GAAG;IAGjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAwFF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAkBtD,CAAC"}