class_grp_arith.cc 1.41 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
/* Common header file for the rrspace software

This file is part of the rrspace project.

This library is free software; you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License as published by the Free
Software Foundation; either version 2.1 of the License, or (at your option) any
later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more
details.

You should have received a copy of the GNU Lesser General Public License along
with this library; if not, write to the Free Software Foundation, Inc., 51
Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA

*/

#include <iostream>
#include <sstream>
#include "divisor_class_group.h"

using namespace NTL;
using namespace std;

int main() {
  long p;
  BivPol eq_curve;
  cin >> p;
  ZZ_p::init(ZZ(p));
  cin >> eq_curve;
  Curve C(&eq_curve);
35 36 37 38

  // Singular divisor for nodal curves
  EffectiveDivisor E(C);
  cin >> E;
39 40 41
  
  size_t g;
  cin >> g;
42 43
  Divisor O(C);
  cin >> O;
44 45 46 47 48

  EffectiveDivisor D1(C), D2(C);
  cin >> D1;
  cin >> D2;

49
  // The following assertion should be true for a nodal curve
SPAENLEHAUER Pierre-Jean's avatar
SPAENLEHAUER Pierre-Jean committed
50
  assert(g == ((C.degree()-1)*(C.degree()-2))/2 - E.degree());
51 52

  EffectiveDivisor R = AddReduced(g, O, E, D1, D2);
53 54 55 56 57
  
  cout << R << endl;
  return 0;
}