Реализация комбинаторных множеств. Связный список

uses crt;
type
 elementtype = record
       fio:string[10];
       nom:integer;
       dat:string[10];
       ind:string[10];
    end;
ptz=^celltype;
celltype=record
info:elementtype;
 
next:ptz;
end;
var
a,b,c:ptz;
x:celltype;
i:integer;
 
procedure  INTERSECTION ( ahead, bhead: ^Celltype;
                    var chead: ^celltype ) ;
var   acur, bcur, ccur: ^celltype;
begin
  new(chead);
  acur := ahead^.next;
  bcur := bhead^.next;
  ccur := chead;
  while (acur <> nil) and (bcur <> nil) do begin
    if  acur^.info.fio = bcur^.info.fio then begin
        new(ccur^.next);
        ccur := ccur^.next;
        ccur^.info := acur^.info;
        acur := acur^.next;
        bcur := bcur^.next
    end
    else
        if  acur^.info.fio < bcur^.info.fio  then
            acur := acur^.next
        else  bcur := bcur^.next
  end;
  ccur^.next := nil
end;
 
procedure  UNION ( ahead, bhead: ^celltype;
                    var chead: ^celltype  ) ;
var   acur, bcur, ccur: ^celltype;
begin
  new(chead);
  acur := ahead^.next;
  bcur := bhead^.next;
  ccur := chead;
while (acur <> nil) and (bcur <> nil) do begin
    new(ccur^.next);    ccur := ccur^.next;
    if  acur^.info.fio = bcur^.info.fio then begin
        ccur^.info := acur^.info;
        acur := acur^.next;
        bcur := bcur^.next
    end
    else
        if  acur^.info.fio < bcur^.info.fio then begin
            ccur^.info := acur^.info;
            acur := acur^.next;
        end  else  begin
            ccur^.info := bcur^.info;
            bcur := bcur^.next
        end
  end;
  while acur <> nil do begin
    new(ccur^.next) ;
    ccur := ccur^.next;
    ccur^.info := acur^.info;
    acur := acur^.next;
  end;
 while bcur <> nil do begin
    new(ccur^.next) ;
    ccur := ccur^.next;
    ccur^.info := bcur^.info;
    bcur := bcur^.next;
  end;
  ccur^.next := nil
end;
 
procedure DIFFERENCE ( ahead, bhead: ^celltype;
                    var chead: ^celltype) ;
 
var   acur, bcur, ccur: ^celltype;
begin
  new(chead);
  acur := ahead^.next;
  bcur := bhead^.next;
  ccur := chead;
while acur <> nil do begin
    if  acur^.info.fio = bcur^.info.fio then begin
        acur := acur^.next;
        bcur := bcur^.next
    end
    else
        if  acur^.info.fio < bcur^.info.fio then begin
            new(ccur^.next);
            ccur := ccur^.next;
            ccur^.info:= acur^.info;
            acur := acur^.next;
            end
        else
    bcur := bcur^.next;
         end;
  ccur^.next := nil;
end;
 
procedure ASSIGN( ahead: ^celltype; var bhead: ^celltype ) ;
var   acur, bcur : ^celltype;
begin
  new(bhead);
  acur := ahead^.next;
  bcur := bhead;
 
while acur <> nil do begin
    new(bcur^.next);
    bcur := bcur^.next;
            bcur^.info := acur^.info;
            acur := acur^.next;
  end;
  bcur^.next := nil
end;
 
 
function MIN( ahead: ^celltype ):elementtype;
begin
  if ahead <> nil  then
        MIN := ahead^.info
  {else   MIN := nil}
end;
 
function MAX( ahead: ^celltype ): elementtype;
var   acur : ^celltype;
begin
//  MAX := nil;
  acur := ahead;
  while acur^.next <> nil do
        acur := acur^.next;
  MAX := acur^.info;
end;
 
procedure DELETE( var ahead: ^celltype; x: elementtype);
var   acur, ap,pc : ^celltype;
begin
  acur := ahead^.next;
  pc := ahead;
  while (acur <> nil) and (acur^.info.fio <> x.fio) do
    begin
    pc := acur;
    acur := acur^.next;
  end;
  if acur = nil then
        writeln (' элемент не найден в списке ')
  else  begin
    pc^.next := acur^.next;
    dispose(acur);
  end
end;
 
Procedure INSERT( x: elementtype; p: ^celltype );
var   cur, newcell: ^celltype;
begin
cur:= p;
while  (cur^.next <> nil) and   (cur^.next^.info.fio < x.fio )  do
cur:= cur^.next;
 
if  cur^.next^.info.fio > x.fio  then  begin
    new(newcell);
    newcell^.info:=x;
    newcell^.next:= cur^.next;
    cur^.next:= newcell;
   end;
end;
 
begin
 
end.