id          = "fricas"
name        = "FriCAS"
homepage    = "https://fricas.github.io/"
description = "Advanced computer algebra system"
executables      = ["fricas", "FRICASsys"]

[dotfiles]

# FriCAS reads this optional startup file from the user's home directory.
# https://fricas.github.io/book.pdf
paths  = ["~/.fricas.input"]
secret = []

[commands]
format = 1
label = "Start FriCAS"
description = "Start FriCAS with the command-line interface, optionally evaluating code or selecting a workspace."
quality = "ai-draft"
parser = { end_of_options = "--", interleave = "permute", long_equals = false, short_attached = false, short_bundles = false }

[[commands.source]]
id = "man"
kind = "manual"
url = "https://manpages.debian.org/testing/fricas/fricas.1.en.html"
revision = "debian testing 2026-10"
evidence = """
fricas [options]
[-nosman] use plain command line interface (disables other options). This option is mandatory when FriCAS takes input from a pipe
[-nox] don't use X Windows
[-noht] whether to use HyperDoc
[-nogr] whether to use Graphics
[-ws wsname] use named workspace
[-list] list workspaces only
[-eval code] evaluate specified code at start
"""

[[commands.field]]
id = "nosman"
label = "Plain command line"
type = "boolean"
option = ["-nosman"]
sources = ["man"]

[[commands.field]]
id = "nox"
label = "No X Windows"
type = "boolean"
option = ["-nox"]
sources = ["man"]

[[commands.field]]
id = "noht"
label = "No HyperDoc"
type = "boolean"
option = ["-noht"]
sources = ["man"]

[[commands.field]]
id = "nogr"
label = "No graphics"
type = "boolean"
option = ["-nogr"]
sources = ["man"]

[[commands.field]]
id = "workspace"
label = "Workspace name"
type = "string"
option = ["-ws"]
sources = ["man"]

[[commands.field]]
id = "eval"
label = "Evaluate code at start"
type = "string"
option = ["-eval"]
effect = "exec"
sources = ["man"]

[[commands.task]]
id = "plain"
label = "Plain terminal session"
set = { nosman = [true] }
lock = ["nosman"]
fields = ["nosman", "workspace", "eval"]
required = []

[[commands.group]]
id = "basic"
label = "Basic"
fields = ["nosman", "nox", "noht", "nogr", "workspace", "eval"]