docs: explain link to LiE, LieART in README.md

Author: pbelmans

CONTRIBUTING.md

@@ -1,5 +1,13 @@
 # Contributing
 
+## Use of LLMs
+
+Parts of this package have been written with the assistance of large language
+models. LLM-generated code is not inherently trustworthy: it can be subtly
+wrong, miss edge cases, or introduce regressions. **Human review of every
+change is essential** — please read and understand all code before merging,
+regardless of how it was produced.
+
 ## Code formatting
 
 The project uses [JuliaFormatter.jl](https://github.com/domluna/JuliaFormatter.jl)

README.md

@@ -6,8 +6,9 @@
 [![Release](https://img.shields.io/github/v/release/HomogeneousTools/Semisimple.jl?color=green)](https://github.com/HomogeneousTools/Semisimple.jl/releases)
 [![Aqua QA](https://raw.githubusercontent.com/JuliaTesting/Aqua.jl/master/badge.svg)](https://github.com/JuliaTesting/Aqua.jl)
 
-A Julia package for computations with finite-dimensional complex semisimple
-Lie algebras via their root data: root systems, Weyl groups, weight lattices,
+A Julia package for computations with representations of
+finite-dimensional complex semisimple Lie algebras
+via their root data: root systems, Weyl groups, weight lattices,
 and highest-weight representation-theoretic operations.
 
 ## Features
@@ -44,6 +45,14 @@ stability caveats. Use OSCAR when you need integrated algebraic objects; use
 Semisimple.jl when you need lightweight, optimized highest-weight and character
 computations.
 
+## Related software
+
+Semisimple.jl is inspired by (and partially ported from) [LiE](http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/),
+a computer algebra system for Lie group computations written in C, and by similar
+functionality available in [SageMath](https://sagemath.org) and [LieART](https://lieart.hepforge.org/)
+(the latter targeting [Mathematica](https://www.wolfram.com/mathematica/)).
+Note that Semisimple.jl is less feature-complete than any of these; porting more features is planned.
+
 ## Installation
 
 ```julia

docs/src/index.md

@@ -10,40 +10,6 @@ root-data computations.
 <p><a href="Semisimple.jl.pdf">Download the PDF manual</a>.</p>
 ```
 
-Semisimple.jl is a finite-type root-data and highest-weight package. It does not
-construct concrete Lie algebra elements, brackets, Chevalley bases, ideals,
-subalgebras, homomorphisms, arbitrary-field Lie algebras, or module
-homomorphisms.
-
-Semisimple.jl is inspired by (and partially ported) from [LiE](http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/),
-a computer algebra system for Lie group computations written in C.
-Parts of the Semisimple.jl code have been written with the assistance of Claude Opus 4.6.
-
-Similar features are also available in [SageMath](https://sagemath.org),
-and a similar package is [LieART](https://lieart.hepforge.org/),
-which runs on the proprietary [Mathematica](https://www.wolfram.com/mathematica/) software.
-
-Note that Semisimple.jl is less feature-complete than any of the aforementioned packages.
-Porting more features is planned.
-
-## Relationship to OSCAR
-
-Semisimple.jl overlaps partly with OSCAR's [stable Lie Theory](https://docs.oscar-system.org/stable/LieTheory/intro/)
-module, but the emphasis is different. OSCAR stable provides intentionally
-minimal combinatorial scaffolding: Cartan matrices, root systems, Weyl groups,
-and weight lattices, represented with OSCAR/AbstractAlgebra parent objects and
-integer matrices. Semisimple.jl focuses on finite-type complex semisimple root data
-with type-level Dynkin types, `StaticArrays`-based weights and roots, optimized
-Weyl orbit traversal, and highest-weight representation-ring computations.
-
-OSCAR's [experimental Lie Algebras](https://docs.oscar-system.org/stable/Experimental/LieAlgebras/introduction/)
-module is broader on the algebraic side: it has concrete finite-dimensional Lie
-algebra objects, brackets, ideals, subalgebras, homomorphisms, modules, and
-module homomorphisms. That module is explicitly experimental, so its API carries
-stability caveats. Use OSCAR when you need integrated algebraic objects; use
-Semisimple.jl when you need lightweight, optimized highest-weight and character
-computations.
-
 ## Features
 
 - **Dynkin types** — Type-level classification (`TypeA{N}`, `TypeB{N}`, …, `TypeG2`, products) with text Dynkin diagrams