(* Title:  BaseDefinitions/celem-7.sml

   Author: Walther Neuper

   (c) due to copyright terms

          *)

signature COMPUTER_ALGEBRA_SYSTEM__COMMAND_DEF =

sig

  type T

(*type cas_elem*)

  val equal: T * T -> bool

(*val cas_eq: T * T -> bool*)

(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)

  (*NONE*)

(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )

  (*NONE*)

( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)

end

(**)

structure CAS_Def(**): COMPUTER_ALGEBRA_SYSTEM__COMMAND_DEF(**) =

struct

(**)

(* association list with cas-commands, for generating a complete calc-head *)

type generate_fn = 

  (term list ->    (* the arguments of the cas-command, eg. (x+1=2, x) *)

    (term *        (* description of an element                        *)

      term list)   (* value of the element (always put into a list)    *)

  list)            (* of elements in the formalization                 *)

type T = 

  (term *          (* cas-command, eg. 'solve'                         *)

    (Spec.T *        (* theory, problem, method                          *)

    generate_fn))

fun equal ((t1, (_, _)) : T, (t2, (_, _)) : T) = t1 = t2

(**)end(**)