-- abc_ucd.ads  User problem definitions for a specific PDE to be solved
--              this includes file name of ucd boundary file
--
--          The problem must be well posed and the solution must be
--          continuous and continuously differentiable
--
-- The general PDE to be solved is:
--  a1(x,y)*uxx(x,y) + b1(x,y)*uxy(x,y) + c1(x,y)*uyy(x,y) +
--  d1(x,y)*ux(x,y) + e1(x,y)*uy(x,y) + f1(x,y)*u(x,y) = c(x,y)
--
with Real_Arrays; -- type Real comes from here
use  Real_Arrays;

package Abc_Ucd is

  Ifcheck:constant :=  5;  -- set  ifcheck = 1 or more, else ifcheck = 0
                           -- bigger gives more information
  -- the user must provide all functions, even if only  return 0.0;
  -- the functions are implemented in the file  abc.abd
  -- A specific set of test functions is covered in abc.txt

  File_Name : String := "abc_ucd.inp"; -- boundary values
  function A1(X:Real; Y:Real) return Real;
  function B1(X:Real; Y:Real) return Real;
  function C1(X:Real; Y:Real) return Real;
  function D1(X:Real; Y:Real) return Real;
  function E1(X:Real; Y:Real) return Real;
  function F1(X:Real; Y:Real) return Real;
  function C (X:Real; Y:Real) return Real; -- right hand side
end Abc_Ucd;