Unknown scope delimiting key Nrec.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Reference addn_rec is deprecated since mathcomp 2.3.

Reference subn_rec is deprecated since mathcomp 2.3.

Reference muln_rec is deprecated since mathcomp 2.3.

Reference expn_rec is deprecated since mathcomp 2.3.

Ignoring canonical projection to add0n by GRing.isNmodule.add0r in

Ignoring canonical projection to addnC by GRing.isNmodule.addrC in

Ignoring canonical projection to addnA by GRing.isNmodule.addrA in

Ignoring canonical projection to addn by GRing.isNmodule.add in

Ignoring canonical projection to O by GRing.isNmodule.zero in