O logarytmach i upraszczaniu¶

Dane są liczby: a=127, b=log14(64), c=log13(27). Mamy policzyć iloczyn.
Wystarczy poprosić system algebry komputerowej i od razu mamy wynik:
xxxxxxxxxx
a = 1/27
b = log(64,base=1/4)
c = log(27,base=1/3)
show(a*b*c)
Jak to działa?
Korzystamy tu z funkcji log z Sage - jest to algebraiczna implementacja logarytmu, która zna pewne zasady upraszczania. Na przykład logarytm z 64 o podstawie 14 zostanie przedstawiony jako:
xxxxxxxxxx
show( log(64,base=1/4) )