User:Jon Awbrey/CODE

IDS Codes : Version 1

y = {?}

y0 = y \(\cdot\) y = {?}{?}

y >= {?, ?}

y >= {disc, form}

y0 = y \(\cdot\) y >= {d, f}{d, f} >= {f}{d}

y0 = y \(\cdot\) y >= {d, f}{d, f} >= {d}{d}

IDS Codes : Version 2

y = {?}

y0 = y \(\cdot\) y = {?}{?}

y >= {?, ?}

y >= {disc, form}

y0 = y \(\cdot\) y >= {d, f}{d, f} >= {f}{d}

y0 = y \(\cdot\) y >= {d, f}{d, f} >= {d}{d}

IDS Codes : Version 3

• \(y_0 = y \cdot y >= \{d, f\}\{d, f\} >= \{d\}\{d\}\)

• \(y_0\ =\ y \cdot y\ >=\ \{d, f\}\{d, f\}\ >=\ \{d\}\{d\}\)