A DIRECTORY /usr/local/lib/felix/felix-2016.01.04-rc2/share/lib/std/algebra
  home
 Files: 
  __init__.flx
  addexpr.fsyn
  bitexpr.fsyn
  bits.flx
  cmpexpr.fsyn
  complex.flx
  container.flx
  divexpr.fsyn
  equiv.flx
  group.flx
  integer.flx
  monad.flx
  mulexpr.fsyn
  partialorder.flx
  pordcmpexpr.fsyn
  predicate.flx
  real.flx
  ring.flx
  sequence.flx
  set.flx
  setexpr.fsyn
  tordcmpexpr.fsyn
  totalorder.flx
  trig.flx