function [stk,txt,top]=sci_ones()
// Copyright INRIA
txt=[]
if rhs==0 then
  stk=list('1','0','1','1','1','?')
  top=top+1
elseif rhs==1 then
  if stk(top)(3)=='1'&stk(top)(4)=='1' then
    stk=list('ones('+stk(top)(1)+','+stk(top)(1)+')','0',stk(top)(1),stk(top)(1),'1','?')
  elseif (stk(top)(3)=='1'&stk(top)(4)=='2')|(stk(top)(3)=='2'&stk(top)(4)=='1') then
    temp=gettempvar()
    txt=temp+'='+stk(top)(1)
    stk=list('ones('+temp+'(1),'+temp+'(2))','0','?','?','1','?')
  else
    write(logfile,'Warning: Not enough information using mtlb_ones instead of ones')
    stk=list('mtlb_ones('+stk(top)(1)+')','0','?','?','1','?')
  end
else
  stk=list('ones('+stk(top-1)(1)+','+stk(top)(1)+')','0',stk(top-1)(1),stk(top)(1),'1','?')
  top=top-1
end


