{
  "Name": "complex",
  "Title": "Complex numbers",
  "SourceFile": "examples/n3/complex.n3",
  "SourceSHA256": "f06171b97fcf380a64522165c21d4544ef88af39e5f8a679aad2e51bcc63c2b6",
  "Description": "See https://en.wikipedia.org/wiki/Complex_number",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 0,
  "CompiledRules": 1,
  "CompiledBackwardRules": 8,
  "CompiledFuses": 0,
  "CompiledQueries": 0,
  "Builtins": [
    "math:absoluteValue",
    "math:acos",
    "math:asin",
    "math:cos",
    "math:difference",
    "math:exponentiation",
    "math:lessThan",
    "math:negation",
    "math:notLessThan",
    "math:product",
    "math:quotient",
    "math:sin",
    "math:sum"
  ]
}