Description - Question:
Remark: The tutorial on this page shows the Authoring Environment in iMathAS. As an
Alternative to Editing an e-Proof in iMathAS you can use the
e-Proof-Creator iMathAScreator.
|
XML Export of e-Proof in iMathAS
The recommended way of editiing an e-Proof is the iMathAS-Creator. If find an e-Proof in the repository that you want to edit, improve or derive a new e-Proof from that, then you can export XML for the e-Proof in iMathAS. First you have to add the following Line in e-Proof Question, that you want to edit:
Authoring View for e-Proofs in iMathAS
If you want to create a new e-proof, the following steps are recommended:
- Open the editor environment in IMathAS.
- Copy the code of authoring mode into common control and copy includeqtextfrom(4001) into the question text (replace 4001 by the question ID of the background code.
- Set $AuthoringMode=1 in the common control (see Fig. 1, the line with "AuthoringMode" is highlighted) if default is still set to $AuthoringMode=0.
Figure 2: Set AuthoringMode=1.
- After changing the line to $AuthoringMode=1 press [Save and Test Question]. The test environment will provide authoring items for the definition of the e-proof. The number of authoring items can be defined by $max_authoring_steps=5. You need a single authoring item for the following items:
- (Title) Title of the proof ( 1 x ).
- (Precondition) For every precondition of the theorem you need one authoring item.
- (Conclusion) For every conclusion of the theorem you need one authoring item.
- (Justification) For every offered justification for proof steps that learners can use you need a one authoring item.
Example: 1 x Title + 3 x Precondtions + 2 x Conclusions and 4 allowed Justifications (e.g. [J1] Associative Law, [J2] Communtative Law, [J3] Binomial Law, [J4] Distributive Law) needs 10 Authoring Items.
In Fig. 2, the select-box after authoring item 4 (resp. authoring item 5) determines the type of the item.
- Title (no ID for title required)
- Precondition (use ID with the letter "P", e.g. P1,P2,...)
- Conclusion (use ID with the letter "C", e.g. C1,C2,...)
- Justification (use ID with the letter "C", e.g. C1,C2,...)
Figure 2: Using Editor-Box for Definition of Title, Preconditions, Conclusions and Justifications.
Copy, Convert and Save the e-Proof as new Question
- When you scroll down the authoring page for the theorem, you will see the source code for the common control input-box of the e-proof. It is recommended to copy the source code of the proof after the title, preconditions, conclusions and justifications are finished for the e-proof.
- It was necessary in the Authoring-Environment to convert the symbol ' into #MATH#. Otherwise the Math Content would be rendered by iMathAS and the source code of the math content is not visible. To have the Authoring result rendered in iMathAS itself, it was necessary to replace #MATH# back to ' prior to copy&paste into the Common Control of a new question. This can be done with iMathAS-Apostrophe-Converter. Copy the generated Code into converter and press [Convert iMathAS].
- The source code can be copied in the control control window (see Fig. 1) and saved.
- Please remember to set "AuthoringMode=0" in the iMathAS-Code, so that students see the e-Proof-Environment and not the Authoring Environment.
- If you want to provide additional proof steps, create your own proof solution as a user within the authoring mode.