Project

General

Profile

Feature #1444

HNF: Hermite Normal Form

Added by John Abbott about 4 years ago. Updated 2 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
CoCoALib-0.99880
Start date:
10 Mar 2020
Due date:
% Done:

0%

Estimated time:
Spent time:
0.20 h

Description

It would be nice to have HNF in CoCoALib.

I can see two cases:
  • (special) over ZZ
  • (general) over a more general ring (where all necessary ideals are principal)
There are also two possible outputs:
  • just the HNF itself
  • the HNF and the unimodular transformation matrix

Related issues

Related to CoCoALib - Feature #122: Porting "LinKer"Closed2012-04-04

Related to CoCoALib - Feature #125: Matrix equation solving; linear system solvingIn Progress2012-04-05

Related to CoCoALib - Feature #206: Matrix equation solving: LinKerIn Progress2012-07-10

Related to CoCoA-5 - Feature #1304: Hermite normal formNew2019-08-29

History

#1 Updated by John Abbott about 4 years ago

#2 Updated by John Abbott about 4 years ago

  • Related to Feature #125: Matrix equation solving; linear system solving added

#3 Updated by John Abbott about 4 years ago

  • Related to Feature #206: Matrix equation solving: LinKer added

#4 Updated by John Abbott about 4 years ago

#5 Updated by John Abbott about 4 years ago

Florian has already put a prototype impl (CoCoA-5) in issue #1304. This should be ported to C++.

NTL has HNF which produces just the HNF and not the unimodular matrix. The unimodular matrix can be useful for computing LinKerZZ (see #206), but there are other approaches too -- I think NTL uses LLL for this.

#6 Updated by John Abbott over 3 years ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850

#7 Updated by John Abbott 2 months ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880

Also available in: Atom PDF