hpo

Scusami per il ritardo, non controllo molto spesso il forum.

Anch’io uso proprio quel pacchetto per la generazione dei compiti in classe, sagetex è solo uno strumento integrativo per la creazione delle soluzioni o per velocizzare alcuni conti. L’ho usato con molta parsimonia per il momento, quindi non ho molto da mostrare, però le potenzialità sono molte. Visto che il prodotto finale è lo stesso di quello del pacchetto esami posto giusto un po’ di codice per mostrare l’utilizzo che ne faccio.

Un esempio semplice: in un problemino che si rinconduce al calcolo del mcm posso scrivere le soluzioni in questo modo

`
\begin{solution}
Dopo $\sage{lcm(lcm(lcm(\a,\b),\c),\d)}$ secondi, visto che
$\sage{lcm(lcm(lcm(\a,\b),\c),\d)}$ è proprio il minimo comune multiplo tra
$\a$, $\b$, $\c$ e $\d$.
\end{solution}
`

(O potrei creare io un comando per il mcm o usare altri pacchetti che ho scoperto successivamente come “calculator”. Per il momento ho risolto così)

Un altro esempio (posto giusto la prima variante): qui ho fatto calcolare il prodotto tra due polinomi direttamente a sage. Nel 95% degli esercizi faccio il conto a mano e scrivo i coefficienti corrispondenti, ma quella volta lì ho voluto fare questa prova. L’output non è proprio identico: se fai i conti a mano coefficienti e parte letterale compaiono attaccati, con expand di sage invece ho notato che risultano separati da un piccolo spazio, come se ci fosse una tilde nel comando.

Nota come la soluzione non l’ho fatta calcolare a sage, non perché non sia possibile farlo, ma perché l’output per richieste di questo tipo non rispetta la notazione standard degli intervalli. Se qualcuno riuscisse a risolvere questo problema scrivere esercizi del genere (corredati di soluzione) diventerebbe molto più facile e immediato:

`
%Variante 1

\newproblem{

\FPsetpar{a}{1}{12}
\FPsetpar{b}{1}{12}
\FPsetpar{c}{2}{12}[\a]
\FPsetpar{d}{1}{12}[\c]
\FPsetpar{e}{4}{5}[\c]
\FPsetpar{f}{1}{3}[\d]
\FPsetpar{g}{1}{2}
\FPsetpar{h}{3}{5}

\FPsetpar{m}{1}{4}
\FPsetpar{n}{1}{4}

\FPval{u}{\d*\g}
\FPval{v}{\c*\h}

\FPval{r}{\c*\f}
\FPval{s}{\d*\e}

\FPsetpar{z}{1}{8}

\ifthenelse{\z=1}
{
\item
$f(x)=
\sqrt{\dfrac{(\semplix{\a}{1} x+\b)^{\FPsv{2*\m+1}} \cdot (\c x-\d)^{\FPsv{2*\n}}}
{\sage{expand((\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=2}
{
\item $f(x)=\sqrt{\dfrac{(\c x-\d)^{\FPsv{2*\n}}
\cdot (\semplix{\a}{1} x+\b)^{\FPsv{2*\m+1}}}
{\sage{expand((\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=3}
{
\item $f(x)=
\sqrt{\dfrac{(\semplix{\a}{1} x+\b)^{\FPsv{2*\m+1}} \cdot (-\c x+\d)^{\FPsv{2*\n}}}
{\sage{expand((\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=4}
{
\item $f(x)=\sqrt{\dfrac{(-\c x+\d)^{\FPsv{2*\n}}
\cdot (\semplix{\a}{1} x+\b)^{\FPsv{2*\m+1}}}
{\sage{expand((\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=5}
{
\item $f(x)=
\sqrt{\dfrac{(-\semplix{\a}{1} x-\b)^{\FPsv{2*\m+1}} \cdot (\c x-\d)^{\FPsv{2*\n}}}
{\sage{expand(-(\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=6}
{
\item $f(x)=\sqrt{\dfrac{(\c x-\d)^{\FPsv{2*\n}}
\cdot (-\semplix{\a}{1} x-\b)^{\FPsv{2*\m+1}}}
{\sage{expand(-(\e * x-\f)*(\g * x-\h))}}}$
}
{
\ifthenelse{\z=7}
{
\item $f(x)=
\sqrt{\dfrac{(-\semplix{\a}{1} x-\b)^{\FPsv{2*\m+1}}
\cdot (-\c x+\d)^{\FPsv{2*\n}}}
{\sage{expand(-(\e * x-\f)*(\g * x-\h))}}}$
}
{
\item $f(x)=\sqrt{\dfrac{(-\c x+\d)^{\FPsv{2*\n}}
\cdot (-\semplix{\a}{1} x-\b)^{\FPsv{2*\m+1}}}
{\sage{expand(-(\e * x-\f)*(\g * x-\h))}}}$
}}}}}}}

\ifthenelse{\NOT \( \u < \v \)} { \begin{solution} La funzione è definita per ogni $x \in [-\sempli{\b}{\a},\sempli{\f}{\e}) \cup (\sempli{\h}{\g},+\infty)$. \end{solution} } { \ifthenelse{\r < \s} { \begin{solution} La funzione è definita per ogni $x \in [-\sempli{\b}{\a},\sempli{\f}{\e}) \cup \{\sempli{\d}{\c}\} \cup (\sempli{\h}{\g},+\infty)$. \end{solution} } { \begin{solution} La funzione è definita per ogni $x \in [-\sempli{\b}{\a},\sempli{\f}{\e}) \cup (\sempli{\h}{\g},+\infty)$. \end{solution} }} } ` Al momento quello che mi interesserebbe di più sarebbe risolvere questo problema, però per chi deve creare esercizi per corsi più avanzati sage risolve qualsiasi problema computazionale algebrico su anelli, campi (anche teoria di Galois per dire), non ho esempi a portata di mano perché non lo uso con questo intento, pero ogni comando di sage che si trova documentato online può essere riportato all'interno di LaTeX. Un esempio di utilizzo che mi riguarda più da vicino e su cui in futuro dovrò lavorare è tutto ciò che riguarda la preparazione di esercizi con funzioni goniometriche, in latex non posso scrivere $\sin \x$ aspettandomi che venga stampato il valore effettivo della funzione, in sage sì.

Ok, grazie comunque. Giusto per contestualizzare ti spiego il motivo per cui mi serve SageTex: in pratica quest’anno sto creando compiti in classe randomizzati con un pacchetto pensato apposta proprio per questo lavoro. Ad esempio posso dichiarare nuove variabili che assumono valori random (con limitazioni e condizioni varie scelte da me) che poi utilizzo nel testo degli esercizi. Inoltre posso scrivere la soluzione in funzione dei vari parametri e, una volta create 20 versioni diverse dello stesso compito, posso stampare anche le 20 soluzioni, in ognuna compariranno i numeri corrispondenti a quella versione del compito.

Il problema è che nelle disequazioni polinomiali di grado superiore (ma non è l’unico esempio) la soluzione finale può dipendere da svariati fattori e non è pensabile scrivere una catena interminabile di \ifthenelse ogni volta che scelgo di creare un esercizio più complicato (dal punto di vista della soluzione generale in funzione dei parametri), da cui la ricerca di un pacchetto che facesse il lavoro per me. SageTex da questo punto di vista è perfetto, l’unica pecca è che al momento non lo conosco benissimo e quindi non sto sfruttando al meglio le sue potenzialità, inoltre non so come modificare i comandi sage per personalizzare il formato dell’output.

1. Installate Oracle VM VirtualBox e Sage seguendo le istruzioni qui:
http://wiki.sagemath.org/SageApplianceInstallation

2. Proseguite al punto 3 e 4 qui di seguito:
http://wiki.sagemath.org/SageAppliance

La cartella condivisa è quella che contiene il worksheet.tex che volete compilare usando sage, inoltre nota bene che una volta che avrete creato una nuova cartella condivisa (supponiamo di chiamarla test) il suo percorso all’interno della shell di sage sarà la seguente —-> /media/sf_test

3. Nel foglio di lavoro di Sage (quello bianco) scrivete SAGE_ROOT, nel mio caso l’output è stato /home/sage/sage-6.8 , ma non sono sicuro che sarà così anche per voi.

4. Continuate al punto 5 del wiki, ma fermatevi al 5.5, altrimenti la navigazione tra le cartelle e il comando per il copia incolla non funzioneranno

5. Adesso il manuale dice di scrivere il seguente codice, io però nella parte destra non ho messo la root di MiKTeX perché non mi accettava il percorso in alcun modo:
cp -r $SAGE ROOT/local/share/texmf/* HOMEPREFIX/texmf/

Ho risolto così: cp -r /home/sage/sage-6.8/local/share/texmf/* /media/sf_test
(ps potreste avere qualche problema perché la tastiera di default è quella americana, ma con un po’ di pazienza si va avanti)

Questo ha funzionato, all’interno della cartella condivisa ho ottenuto una cartella con tutta la documentazione e vari altri file, tra cui sagetex.sty, che nota bene non è proprio lo stesso di quello che avete già tramite MiKTeX. Non ho ben capito perché, ma per qualche motivo la versione che si ottiene con l’update di MiKTeX non è lo stessa di quella ottenuta tramite Sage, e ciò ha creato problemi vari anche ad altra gente dall’altra parte del globo. Giusto per la cronaca: se compilando il worksheet.tex ottenete nella cartella un file worksheet.sage allora latex sta usando il sagetex.sty errato, dovete invece ottenere un file worksheet.sagetex.sage

6. Al momento ho optato per una soluzione che non è la più efficiente ma è comunque funzionante: spostare il solo sagetex.sty nella cartella di lavoro. Magari nei prossimi giorni provo a collocare tutto al posto giusto tra le cartelle di MiKTeX, per il momento mi va bene così.

7. Sempre dalla shell di sage scrivere cd /media/sf_test

8. A questo punto siamo pronti per compilare il file worksheet.tex. Se tra i comandi latex avete caricato il pacchetto sagetex e messo istruzioni di sage vi comparirà, come detto su, un file worksheet.sagetex.sage, inoltre nel pdf troverete dei punti interrogativi al posto delle matrici, funzioni etc. che si chiede a Sage di calcolare (inoltre avrete qualche warning in compilazione).

9. Dalla shell di sagetex scrivete: sage worksheet.sagetex.sage

10. Ricompilate una seconda volta il file worksheet.tex e il gioco è fatto, adesso il pdf contiene tutte le formule che avevate ordinato. 😀 😀

Adesso potete cominciare a giocare. 🙂

Avevo cercato anche questa cartella “texmf”, ma senza successo. Ho MiKTeX e andando su “Options –> Roots –> Show MiKTeX-mantained root directories” mi compaiono “C:\ProgramData\MiKTeX\2.9” e un’altra simile, immagino siano queste le cartelle texmf anche se quella sigla non compare esplicitamente.

Ok risolto da me, chiudete pure

`$\begin{array}{lcl}
\begin{cases}
eq1 \\
eq2 \\
eq3
\end{cases}

&

\Longleftrightarrow

&

\begin{cases}
eq1' \\
eq2' \\
eq3'
\end{cases}

\\
\end{array}$`

ahahaha sono uno scemo, il bello è che l’avevo letto di sfuggita già nel momento del copia incolla, egreg in quel topic aveva scritto esplicitamente più giù:

È vero: occorre aggiungere \leavevmode prima di \vbox; lo correggo anche nel messaggio precedente.

Solo che poi evidentemente in fase di scrittura devo aver eliminato alcune cose che ritenevo inutili (quel comando era all’interno di color=red e ho pensato che servisse solo per rendere la tabella rossa), adesso funziona tutto comunque!!! 😀 😀 😀

Per maggiore chiarezza riporto uno screenshot, il motivo per cui ho dovuto utilizzare quell’altro codice e non il solito ambiente tabular è perché mi serve un tabella parecchio flessibile con le dimensioni delle singole caselle, a seconda del tipo di dati che voglio proporre, ed anche esteticamente soddisfacente.

[attachment]tabella.png[/attachment]

edit: scusate ma l’attachment non sembra funzionare