Wie bindet man das Paket "zed-csp" richtig ein?

[Janine]

Hallo,

ich möchte in meiner DA mit der Z-Notation arbeiten. Dafür habe ich das Paket mit \usepackage{zed-csp} eingebunden und das Stylefile "z-eves.sty" in den Ordner, wo die.tex-File liegt, reinkopiert. Dieses scheint sich aber nicht mit dem Paket "amssymb" zu vertragen. Selbst wenn ich "amssymb" auskommentiere, führt dies nur zu weiteren Fehlermeldungen.

Wäre für jede Hilfe dankbar!
Ciao, Janine

[Sepp99]

Wahrscheinlich ist das Paket nicht richtig installiert. Dazu wären mehr Informationen nötig: gibt es Fehlermeldungen, welche Distribution verwendest du?
Falls du MiKTeX verwendest gibt es unter [3] den ganzen Abschnitt 2 dazu.
Gruß, Sepp.-

PS: Weils mich selber interessierte, hier ein Minimalbeispiel aus der Paketdoku:

\listfiles
\documentclass[ngerman]{scrartcl}
	
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{babel}

\usepackage{zed-csp}

\begin{document}
\begin{schema}{PhoneDB}
known: \power NAME \\ phone: NAME \pfun PHONE
\where
known = \dom phone
\end{schema}
\bigskip
\begin{axdef}
policy: \power_1 RESOURCE \fun RESOURCE
\where
\forall S: \power_1 RESOURCE @ \\
\t1
policy(S) \in S
\end{axdef}

\end{document}

mit MiKTeX. Ergebnis im Anhang.

[Janine]

Hallo Sepp,

Fehlermeldung, wenn ich "zed-csp" einbinde:

command already defined für:
\because (-> stammt aus dem Packet \usepackage{amssymb})
\implies
\mod

Ich verwende MiKTeX 2.8.


Ciao, Janine

[Sepp99]

Also, wenn ich

\usepackage{amssymb}

VOR

\usepackage{zed-csp}

lade, läuft es fehlerfrei durch. Siehe auch die Paketdoku:

This new version of the style option is fully compatible
with the fuzz style option distributed with the my fuzz type-checker for Z,
but uses two fonts from the AMS in place of the special Z font distributed with
fuzz. Some of the symbols have been cobbled together by combining two or
more characters, but the results are good enough for rough drafts. The style
option requires the ‘old’ AMS fonts,...

Gruß, Sepp.-

[Janine]

So hab schnell nachgeschaut, das Paket ist im Paketmanager installiert und ich hab anschließend in Setting die DB noch mal refreshed. Problem besteht immer noch.

[Sepp99]

Ich glaube, da war eine Überschneidung. Hast du meinen vorhergehenden thread gelesen?
Gruß, Sepp.-

[Janine]

Vielen Dank!
Auf die simple Idee die Pakete in der Reihenfolge zu tauschen, wär ich wahrscheinlich nicht bekommen.

Ciao, Janine