math-exercises 3.0.211 → 3.0.213

package/lib/exercises/math/complex/exp/complexExpFormPowerSimplify.js

@@ -0,0 +1,152 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../exercises/utils/getDistinctQuestions.js";
+import { mainTrigoValues } from "../../../../math/trigonometry/remarkableValues.js";
+import { randint } from "../../../../math/utils/random/randint.js";
+import { abs } from "../../../../tree/nodes/functions/absNode.js";
+import { exp } from "../../../../tree/nodes/functions/expNode.js";
+import { logn } from "../../../../tree/nodes/functions/logNode.js";
+import { reifyAlgebraic, } from "../../../../tree/nodes/nodeConstructor.js";
+import { PiNode } from "../../../../tree/nodes/numbers/piNode.js";
+import { frac } from "../../../../tree/nodes/operators/fractionNode.js";
+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 { random } from "../../../../utils/alea/random.js";
+import { doWhile } from "../../../../utils/doWhile.js";
+import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    const { z1ArgIds, z1ModuleIds, pow } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const module = power(z1Module, pow).simplify();
+    const arg = multiply(z1Arg, pow).simplify();
+    propWhile(propositions, n, () => {
+        const z1ModuleFake = randint(2, 10);
+        const z1ArgFake = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+        const moduleFake = power(z1ModuleFake, pow).simplify();
+        const argFake = multiply(z1ArgFake.angle, pow).simplify();
+        if (module.toTex() === moduleFake.toTex() &&
+            frac(substract(argFake, arg), PiNode).simplify().evaluate() % 2 === 0)
+            return;
+        tryToAddWrongProp(propositions, `${moduleFake.toTex()}${getExpTex(argFake)}`);
+    });
+    return shuffleProps(propositions, n);
+};
+const getExpTex = (theta) => {
+    const rawTheta = abs(theta).simplify();
+    return `e^{${theta.evaluate() < 0 ? "-" : ""}${multiply("i", rawTheta).toTex({
+        forceNoTimesSign: true,
+    })}}`;
+};
+const getAnswer = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, pow } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const module = power(z1Module, pow).simplify();
+    const arg = multiply(z1Arg, pow).simplify();
+    return `${module.toTex()}${getExpTex(arg)}`;
+};
+const getInstruction = (identifiers) => {
+    throw new Error("wtf, 9^3e^3 plante, le parsage des puissances doit être tout pété. Aussi 9^3\\cos^3 donne un truc trop chelou. Après investigation : a^bc est mal parsé, que a soit nb ou e : il faut cut à a^b*c mais c'est parsé en a^{bc}...");
+    const { z1ArgIds, z1ModuleIds, pow } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    return `Écrire sous forme exponentielle :
+  
+$$
+\\left(${z1Module.toTex()}${getExpTex(z1Arg)}\\right)^{${pow}}
+$$`;
+};
+const getHint = () => {
+    return `Pour tous nombres réels $\\theta$ et $\\theta'$ et tout entier relatif $n$, on a : 
+  
+$$
+\\left(e^{i\\theta}\\right)^n  = e^{in\\theta}
+$$`;
+};
+const getCorrection = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, pow } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    return `On utilise la relation fonctionnelle : pour tous nombres réels $\\theta$ et $\\theta'$ et tout entier relatif $n$, on a 
+  
+$$
+\\left(e^{i\\theta}\\right)^n  = e^{in\\theta}
+$$
+
+Ici, on a donc : 
+
+${alignTex([
+        ["", `\\left(${z1Module.toTex()}${getExpTex(z1Arg)}\\right)^{${pow}}`],
+        [
+            "=",
+            multiply(power(z1Module, pow), exp(multiply("i", multiply(z1Arg, pow)))).toTex(),
+        ],
+        ["=", getAnswer(identifiers)],
+    ])}`;
+};
+const getKeys = () => {
+    return ["epower", "i", "pi"];
+};
+const isAnswerValid = (ans, { z1ArgIds, z1ModuleIds, pow }) => {
+    try {
+        const z1Arg = reifyAlgebraic(z1ArgIds);
+        const z1Module = reifyAlgebraic(z1ModuleIds);
+        const module = power(z1Module, pow).simplify();
+        const angle = multiply(z1Arg, pow).simplify();
+        const parsed = parseAlgebraic(ans);
+        const expForm = multiply(module, exp(multiply("i", angle))).simplify();
+        console.log(expForm.toTex());
+        console.log(parsed.simplify().toTex());
+        const divided = frac(expForm, parsed).simplify();
+        return (parsed.simplify().toTex() === expForm.toTex() ||
+            frac(logn(divided), multiply(PiNode, "i")).simplify().evaluate() % 2 === 0);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getComplexExpFormPowerSimplifyQuestion = () => {
+    const z1Module = randint(2, 10);
+    const z1Arg = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+    const pow = doWhile(() => randint(2, 10), (x) => frac(multiply(z1Arg.angle, x), PiNode).simplify().evaluate({}) % 2 === 0);
+    const identifiers = {
+        z1ArgIds: z1Arg.angle.toIdentifiers(),
+        z1ModuleIds: z1Module.toTree().toIdentifiers(),
+        pow,
+    };
+    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 complexExpFormPowerSimplify = {
+    id: "complexExpFormPowerSimplify",
+    connector: "=",
+    label: "Simplifier une puissance de formes exponentielles de nombres complexes",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getComplexExpFormPowerSimplifyQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/complex/exp/complexExpFormProductSimplify.d.ts

@@ -0,0 +1,11 @@
+import { Exercise } from "../../../../exercises/exercise.js";
+import { NodeIdentifiers } from "../../../../tree/nodes/nodeConstructor.js";
+type Identifiers = {
+    z1ModuleIds: NodeIdentifiers;
+    z1ArgIds: NodeIdentifiers;
+    z2ModuleIds: NodeIdentifiers;
+    z2ArgIds: NodeIdentifiers;
+};
+export declare const complexExpFormProductSimplify: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=complexExpFormProductSimplify.d.ts.map

package/lib/exercises/math/complex/exp/complexExpFormProductSimplify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complexExpFormProductSimplify.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/complex/exp/complexExpFormProductSimplify.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAQrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAW7C,KAAK,WAAW,GAAG;IACjB,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,eAAe,CAAC;CAC3B,CAAC;AAiLF,eAAO,MAAM,6BAA6B,EAAE,QAAQ,CAAC,WAAW,CAqB/D,CAAC"}

package/lib/exercises/math/complex/exp/complexExpFormProductSimplify.js

@@ -0,0 +1,165 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../exercises/utils/getDistinctQuestions.js";
+import { mainTrigoValues } from "../../../../math/trigonometry/remarkableValues.js";
+import { randint } from "../../../../math/utils/random/randint.js";
+import { abs } from "../../../../tree/nodes/functions/absNode.js";
+import { exp } from "../../../../tree/nodes/functions/expNode.js";
+import { logn } from "../../../../tree/nodes/functions/logNode.js";
+import { reifyAlgebraic, } from "../../../../tree/nodes/nodeConstructor.js";
+import { PiNode } from "../../../../tree/nodes/numbers/piNode.js";
+import { add } from "../../../../tree/nodes/operators/addNode.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 { parseAlgebraic } from "../../../../tree/parsers/latexParser.js";
+import { random } from "../../../../utils/alea/random.js";
+import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = multiply(z1Module, z2Module).simplify();
+    const arg = add(z1Arg, z2Arg).simplify();
+    propWhile(propositions, n, () => {
+        const z1ModuleFake = randint(2, 10);
+        const z2ModuleFake = randint(2, 10);
+        const z1ArgFake = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+        const z2ArgFake = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0 &&
+            Math.abs(a.angle.evaluate()) !== Math.abs(z1ArgFake.angle.evaluate())));
+        const moduleFake = multiply(z1ModuleFake, z2ModuleFake).simplify();
+        const argFake = add(z1ArgFake.angle, z2ArgFake.angle).simplify();
+        if (module.toTex() === moduleFake.toTex() &&
+            frac(substract(argFake, arg), PiNode).simplify().evaluate() % 2 === 0)
+            return;
+        tryToAddWrongProp(propositions, `${moduleFake.toTex()}${getExpTex(argFake)}`);
+    });
+    return shuffleProps(propositions, n);
+};
+const getExpTex = (theta) => {
+    const rawTheta = abs(theta).simplify();
+    return `e^{${theta.evaluate() < 0 ? "-" : ""}${multiply("i", rawTheta).toTex({
+        forceNoTimesSign: true,
+    })}}`;
+};
+const getAnswer = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = multiply(z1Module, z2Module).simplify();
+    const arg = add(z1Arg, z2Arg).simplify();
+    return `${module.toTex()}${getExpTex(arg)}`;
+};
+const getInstruction = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    return `Écrire sous forme exponentielle :
+  
+$$
+\\left(${z1Module.toTex()}${getExpTex(z1Arg)}\\right)\\left(${z2Module.toTex()}${getExpTex(z2Arg)}\\right)
+$$`;
+};
+const getHint = () => {
+    return `Pour tous nombres réels $\\theta$ et $\\theta'$, on a : 
+  
+$$
+e^{i\\theta} \\times e^{i\\theta'} = e^{i\\left(\\theta+\\theta'\\right)}
+$$`;
+};
+const getCorrection = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = multiply(z1Module, z2Module).simplify();
+    return `On utilise la relation fonctionnelle : pour tous nombres réels $\\theta$ et $\\theta'$, on a 
+  
+$$
+e^{i\\theta} \\times e^{i\\theta'} = e^{i\\left(\\theta+\\theta'\\right)}
+$$
+
+Ici, on a donc : 
+
+${alignTex([
+        [
+            "",
+            `\\left(${z1Module.toTex()}${getExpTex(z1Arg)}\\right)\\left(${z2Module.toTex()}${getExpTex(z2Arg)}\\right)`,
+        ],
+        ["=", multiply(module, exp(multiply("i", add(z1Arg, z2Arg)))).toTex()],
+        ["=", getAnswer(identifiers)],
+    ])}`;
+};
+const getKeys = () => {
+    return ["epower", "i", "pi"];
+};
+const isAnswerValid = (ans, { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds }) => {
+    try {
+        const z1Arg = reifyAlgebraic(z1ArgIds);
+        const z1Module = reifyAlgebraic(z1ModuleIds);
+        const z2Arg = reifyAlgebraic(z2ArgIds);
+        const z2Module = reifyAlgebraic(z2ModuleIds);
+        const module = multiply(z1Module, z2Module).simplify();
+        const angle = add(z1Arg, z2Arg).simplify();
+        const parsed = parseAlgebraic(ans);
+        const expForm = multiply(module, exp(multiply("i", angle))).simplify();
+        const divided = frac(expForm, parsed).simplify();
+        return (parsed.simplify().toTex() === expForm.toTex() ||
+            frac(logn(divided), multiply(PiNode, "i")).simplify().evaluate() % 2 === 0);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getComplexExpFormProductSimplifyQuestion = () => {
+    const z1Module = randint(2, 10);
+    const z2Module = randint(2, 10);
+    const z1Arg = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+    const z2Arg = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0 &&
+        Math.abs(a.angle.evaluate()) !== Math.abs(z1Arg.angle.evaluate())));
+    const identifiers = {
+        z1ArgIds: z1Arg.angle.toIdentifiers(),
+        z1ModuleIds: z1Module.toTree().toIdentifiers(),
+        z2ArgIds: z2Arg.angle.toIdentifiers(),
+        z2ModuleIds: z2Module.toTree().toIdentifiers(),
+    };
+    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 complexExpFormProductSimplify = {
+    id: "complexExpFormProductSimplify",
+    connector: "=",
+    label: "Simplifier un produit de formes exponentielles de nombres complexes",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getComplexExpFormProductSimplifyQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/complex/exp/complexExpFormQuotientSimplify.d.ts

@@ -0,0 +1,11 @@
+import { Exercise } from "../../../../exercises/exercise.js";
+import { NodeIdentifiers } from "../../../../tree/nodes/nodeConstructor.js";
+type Identifiers = {
+    z1ModuleIds: NodeIdentifiers;
+    z1ArgIds: NodeIdentifiers;
+    z2ModuleIds: NodeIdentifiers;
+    z2ArgIds: NodeIdentifiers;
+};
+export declare const complexExpFormQuotientSimplify: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=complexExpFormQuotientSimplify.d.ts.map

package/lib/exercises/math/complex/exp/complexExpFormQuotientSimplify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complexExpFormQuotientSimplify.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/complex/exp/complexExpFormQuotientSimplify.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAQrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAU7C,KAAK,WAAW,GAAG;IACjB,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,eAAe,CAAC;CAC3B,CAAC;AAiLF,eAAO,MAAM,8BAA8B,EAAE,QAAQ,CAAC,WAAW,CAqBhE,CAAC"}

package/lib/exercises/math/complex/exp/complexExpFormQuotientSimplify.js

@@ -0,0 +1,164 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../exercises/utils/getDistinctQuestions.js";
+import { mainTrigoValues } from "../../../../math/trigonometry/remarkableValues.js";
+import { randint } from "../../../../math/utils/random/randint.js";
+import { abs } from "../../../../tree/nodes/functions/absNode.js";
+import { exp } from "../../../../tree/nodes/functions/expNode.js";
+import { logn } from "../../../../tree/nodes/functions/logNode.js";
+import { reifyAlgebraic, } from "../../../../tree/nodes/nodeConstructor.js";
+import { PiNode } from "../../../../tree/nodes/numbers/piNode.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 { parseAlgebraic } from "../../../../tree/parsers/latexParser.js";
+import { random } from "../../../../utils/alea/random.js";
+import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = frac(z1Module, z2Module).simplify();
+    const arg = substract(z1Arg, z2Arg).simplify();
+    propWhile(propositions, n, () => {
+        const z1ModuleFake = randint(2, 10);
+        const z2ModuleFake = randint(2, 10, [z1ModuleFake]);
+        const z1ArgFake = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+        const z2ArgFake = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0 &&
+            Math.abs(a.angle.evaluate()) !== Math.abs(z1ArgFake.angle.evaluate())));
+        const moduleFake = frac(z1ModuleFake, z2ModuleFake).simplify();
+        const argFake = substract(z1ArgFake.angle, z2ArgFake.angle).simplify();
+        if (module.toTex() === moduleFake.toTex() &&
+            frac(substract(argFake, arg), PiNode).simplify().evaluate() % 2 === 0)
+            return;
+        tryToAddWrongProp(propositions, `${moduleFake.toTex()}${getExpTex(argFake)}`);
+    });
+    return shuffleProps(propositions, n);
+};
+const getExpTex = (theta) => {
+    const rawTheta = abs(theta).simplify();
+    return `e^{${theta.evaluate() < 0 ? "-" : ""}${multiply("i", rawTheta).toTex({
+        forceNoTimesSign: true,
+    })}}`;
+};
+const getAnswer = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = frac(z1Module, z2Module).simplify();
+    const arg = substract(z1Arg, z2Arg).simplify();
+    return `${module.toTex()}${getExpTex(arg)}`;
+};
+const getInstruction = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    return `Écrire sous forme exponentielle :
+  
+$$
+\\frac{${z1Module.toTex()}${getExpTex(z1Arg)}}{${z2Module.toTex()}${getExpTex(z2Arg)}}
+$$`;
+};
+const getHint = () => {
+    return `Pour tous nombres réels $\\theta$ et $\\theta'$, on a : 
+  
+$$
+\\frac{e^{i\\theta}}{e^{i\\theta'}} = e^{i\\left(\\theta-\\theta'\\right)}
+$$`;
+};
+const getCorrection = (identifiers) => {
+    const { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds } = identifiers;
+    const z1Arg = reifyAlgebraic(z1ArgIds);
+    const z1Module = reifyAlgebraic(z1ModuleIds);
+    const z2Arg = reifyAlgebraic(z2ArgIds);
+    const z2Module = reifyAlgebraic(z2ModuleIds);
+    const module = frac(z1Module, z2Module).simplify();
+    return `On utilise la relation fonctionnelle : pour tous nombres réels $\\theta$ et $\\theta'$, on a 
+  
+$$
+\\frac{e^{i\\theta}}{e^{i\\theta'}} = e^{i\\left(\\theta-\\theta'\\right)}
+$$
+
+Ici, on a donc : 
+
+${alignTex([
+        [
+            "",
+            `\\frac{${z1Module.toTex()}${getExpTex(z1Arg)}}{${z2Module.toTex()}${getExpTex(z2Arg)}}`,
+        ],
+        ["=", multiply(module, exp(multiply("i", substract(z1Arg, z2Arg)))).toTex()],
+        ["=", getAnswer(identifiers)],
+    ])}`;
+};
+const getKeys = () => {
+    return ["epower", "i", "pi"];
+};
+const isAnswerValid = (ans, { z1ArgIds, z1ModuleIds, z2ArgIds, z2ModuleIds }) => {
+    try {
+        const z1Arg = reifyAlgebraic(z1ArgIds);
+        const z1Module = reifyAlgebraic(z1ModuleIds);
+        const z2Arg = reifyAlgebraic(z2ArgIds);
+        const z2Module = reifyAlgebraic(z2ModuleIds);
+        const module = frac(z1Module, z2Module).simplify();
+        const angle = substract(z1Arg, z2Arg).simplify();
+        const parsed = parseAlgebraic(ans);
+        const expForm = multiply(module, exp(multiply("i", angle))).simplify();
+        const divided = frac(expForm, parsed).simplify();
+        return (parsed.simplify().toTex() === expForm.toTex() ||
+            frac(logn(divided), multiply(PiNode, "i")).simplify().evaluate() % 2 === 0);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getComplexExpFormQuotientSimplifyQuestion = () => {
+    const z1Module = randint(2, 10);
+    const z2Module = randint(2, 10, [z1Module]);
+    const z1Arg = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0));
+    const z2Arg = random(mainTrigoValues.filter((a) => a.angle.evaluate({}) !== 0 &&
+        Math.abs(a.angle.evaluate()) !== Math.abs(z1Arg.angle.evaluate())));
+    const identifiers = {
+        z1ArgIds: z1Arg.angle.toIdentifiers(),
+        z1ModuleIds: z1Module.toTree().toIdentifiers(),
+        z2ArgIds: z2Arg.angle.toIdentifiers(),
+        z2ModuleIds: z2Module.toTree().toIdentifiers(),
+    };
+    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 complexExpFormQuotientSimplify = {
+    id: "complexExpFormQuotientSimplify",
+    connector: "=",
+    label: "Simplifier un quotient de formes exponentielles de nombres complexes",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getComplexExpFormQuotientSimplifyQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/complex/exp/complexExpFromAlgebraicForm.d.ts

@@ -0,0 +1,9 @@
+import { Exercise } from "../../../../exercises/exercise.js";
+import { NodeIdentifiers } from "../../../../tree/nodes/nodeConstructor.js";
+type Identifiers = {
+    reIds: NodeIdentifiers;
+    imIds: NodeIdentifiers;
+};
+export declare const complexExpFromAlgebraicForm: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=complexExpFromAlgebraicForm.d.ts.map

package/lib/exercises/math/complex/exp/complexExpFromAlgebraicForm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complexExpFromAlgebraicForm.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/complex/exp/complexExpFromAlgebraicForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAcrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAW7C,KAAK,WAAW,GAAG;IACjB,KAAK,EAAE,eAAe,CAAC;IACvB,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AA2KF,eAAO,MAAM,2BAA2B,EAAE,QAAQ,CAAC,WAAW,CAsB7D,CAAC"}