迁移
发表于 2025-3-28 15:32:12
,The design of cayley — a language for modern algebra,he requirements of the users include consistency with common mathematical notation; appropriate data types such as sets, sequences, mappings, algebraic structures and elements; efficiency; extensibility; power of in-built functions and procedures for known algorithms; and access to common examples o