Notes for users of other computer algebra systems

General differences

Julia evaluates 2^100 to 0 because 2 is regarded as a 64 bit integer. Write ZZRingElem(2)^100 to get a long.
TODO: add more hints of this kind

Notes for GAP users

This section describes differences between GAP and Oscar. (Hints about using GAP in Oscar can be found in the section about GAP Integration.)

The syntax of the languages is slightly different.
- In GAP, equality of two objects is checked with =, and one assigns a value to a variable with :=. In Julia, equality is checked with ==, and = denotes assignment.
- In GAP, if statements have the form
```
if condition1 then
  statements1
elif condition2 then
  statements2
else
  statements3
fi;
```
  whereas the Julia syntax is
```
if condition1
  statements1
elseif condition2
  statements2
else
  statements3
end
```
  Similarly, GAP's for loops have the form
```
for var in list do
  statements
od;
```
  whereas the Julia syntax is
```
for var in list
  statements
end
```
  (The situation with while loops is analogous.)
Variable names in GAP and Julia are recommended to be written in camel case and snake case, respectively, see Naming conventions. For example, the GAP function SylowSubgroup corresponds to Oscar's sylow_subgroup.
Thus the GAP rule that the names of user variables should start with a lowercase letter, in order to avoid clashes with system variables, does not make sense in Julia.
Moreover, global Oscar variables are not write protected, contrary to most global GAP variables. Thus there is always the danger that assignments overwrite Julia functions. For example, it is tempting to use gens, hom, and map as names for variables, but Julia or Oscar define them already.
(Also copying some lines of code from an Oscar function into a Julia session can be dangerous in this sense, because some names of local variables of the function may coincide with the names of global variables.)
GAP provides natural embeddings of many algebraic structures. For example, two finite fields of the same characteristic are embedded into each other whenever this makes sense, and the elements of the smaller field are regarded also as elements of the larger field. Analogously, subfields of cyclotomic fields are naturally embedded into each other, and in fact their elements are internally represented w.r.t. the smallest possible cyclotomic field.
In Oscar, this is not the case. Each element of an algebraic structure has a parent, and operations involving several elements (such as arithmetic operations) are usually restricted to the situation that their parents coincide. One has to explicitly coerce a given element into a different parent if necessary.
The consequences can be quite subtle. Each permutation group in Oscar has a fixed degree, and the function is_transitive checks whether its argument is transitive on the points from 1 to the degree. In GAP, however, the function IsTransitive, called with a permutation group, checks whether this group is transitive on the points which are moved by it. Thus the group generated by the permutation (1, 2, 4) is regarded as transitive in GAP but as intransitive in Oscar.

Notes for Singular users

TODO
TODO: also talk about how to use it from OSCAR?

Notes for Polymake users

OSCAR (and Julia) is 1-based, meaning that it counts from 1, rather than from 0 like polymake. For most properties we have taken care of the translation but be aware that it might pop up at some point and generate confusion.
For convenience, Polymake.jl provides Polymake.to_one_based_indexing and Polymake.to_zero_based_indexing.
Polyhedra and polyhedral complexes in OSCAR are represented inhomogeneously, i.e. without the leading 1 for vertices or 0 for rays. Hence constructors take points, rays, and lineality generators separately.
user_methods cannot be accessed via Julia's dot syntax, i.e. something like
```
c = Polymake.polytope.cube(3)
c.AMBIENT_DIM
```
will not work. Instead user_methods are attached as Julia functions in their respective application. They are always written in lowercase. In the example the following works:
```
c = Polymake.polytope.cube(3)
Polymake.polytope.ambient_dim(c)
```

Notes for Magma users

TODO

Notes for SageMath users

TODO