Aurel Page on Sun, 17 Jun 2018 22:38:43 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: adding orders?


Hi,

Why not a single argument, which can be a t_VEC for several elements? One might want an order generated by more than two elements. Or 'a' itself can be an order?
For the name, "nfordergenerated" would be accurate but a bit too long :-(

Cheers,
Aurel

On 17/06/18 22:31, Karim Belabas wrote:
* Bill Allombert [2018-06-17 20:59]:
On Wed, Jun 13, 2018 at 02:41:46PM +0100, J E Cremona wrote:
Is there a pari or gp function to add two orders in a number field?  Here
of course I mean to return the smallest order containing both the summands,
not just their sum as Z-modules, so the sum of Z[a] and Z[b] would Z[a,b].
I do not think this is readily available, though it is probably
done inside nfmaxord.
Do you have an algorithm for this task ?
It's mostly available (internally). What would be a suitable name ?
nforderadd ? (not too fond of that one...). Maybe, just nforder(nf, a, {b}) ?
(cf idealhnf(nf, a, {b}).