Divisione per interi ... una giungla

[DragoRosso]

Se cercate "Divisione Euclidea" su Wikipedia c'è la spiegazione. Pascal fa la divisione con troncamento phyton quella con parte intera.
Ciao

Si, ma non torna comunque con i calcoli di Python, dove i valori di resto sono anche negativi (nel calcolo Euclideo il resto può essere solo positivo). Quindi Python non applica quel tipo di calcolo. Applica semplicemente un calcolo float dove l'arrotondamento e una scelta progettuale.

Parto dal presupposto che è ovvio e chiaro:

"La divisione euclidea o divisione con resto è intuitivamente quell'operazione che si fa quando si suddivide un numero a di oggetti in gruppi di b oggetti ciascuno e quindi si conta quanti gruppi sono stati formati e quanti oggetti sono rimasti".

Quindi non ci possono essere più oggetti formati come risultato (quoziente) rispetto ai gruppo suddivisi: (-6 div 5) fa -1 cioè gli informatici ritengo che i gruppi siano presi in valore assoluto e il segno si applica poi. Inoltre il minore e maggiore è sempre rilevante verso le 0 per capire cosa si stà facendo. Dire che (-6 div 5) fà -2 perchè -2 è il numero di gruppi"minore" che si può ottenere (-1 è comunque maggiore di -2 e quindi la divisione da come risultato -2 ovviamente) mi pare ...  (meglio che non mi esprima).

Cioè in poche parole per gli informatici (magari non tutti), che sono uomini di azione e vedono il concreto al di là delle teorie filosofiche, il risultati vanno presi in assoluto e poi si applicano i segni (questo detto in parole misere).

P.S.: comunque essere supportati dalle istruzioni di un processore INTEL ... bhè questa la dice tutta  .

[nomorelogic]

ho chiesto ad un mio collega matematico e mi ha liquidato dicendo che in matematica il modulo per come lo intendiamo noi informatici... non esiste

nel senso che non c'è un'operazione chiamata modulo ma ci sono dei procedimenti che possono calcolarlo, se abbiamo bisogno di quel calcolo

una risposta sicuramente discutibile ma che tutto sommato rende l'idea
il tutto sta nel tipo di calcolo che si necessita

probabilmente gli informatici hanno avuto quella necessità e lo hanno implementato così
nella versione python si è voluto essere aderenti ad una certa dimostrazione matematica

come si dice: non si finisce mai di imparare

Edit:
è comunque mia opinione che quelli del python avrebbero dovuto lasciare il calcolo del modulo
come già era in altri linguaggi e magari introdurne un secondo tipo
infatti quello che ci rimane in mano è 1 concetto con 2 metodi di calcolo...

[DragoRosso]

Voglio riportarvi un esempio pratico e banale:

un encoder, contaimpulsi che "conta" in positivo o negativo a seconda se ruota in senso orario o antiorario.
Non è che se questo fà -1000 impulsi e ogni giro viene effettuato con 750 impulsi fà -2 giri    :

Pascal: (-1000 div 750) = -1 con resto xxx ==> deduco che ha fatto un (UNO) giro in senso antiorario ad esempio.
Python: (-1000 // 750) = -2 con resto xxx ==> deduco che ha fatto due (DUE) giri in senso antiorario..... (è barrato perchè non voglio che venga preso come esempio applicabile !!!)

In Pascal senza analizzare il resto ho già i miei dati, con Python deve farmi mille elucubrazioni sul quoziente e sul resto .... Questo è un esempio pratico e banale. Poi uno potrebbe aggiustarlo come vuole con mille elucubrazioni, algoritmi e fantasie varie: ma quello indicate è il modo più veloce, naturale e efficacie che non lascia nulla alla fantasia interpretativa.

[DragoRosso]

ho chiesto ad un mio collega matematico e mi ha liquidato dicendo che in matematica il modulo per come lo intendiamo noi informatici... non esiste

nel senso che non c'è un'operazione chiamata modulo ma ci sono dei procedimenti che possono calcolarlo, se abbiamo bisogno di quel calcolo

una risposta sicuramente discutibile ma che tutto sommato rende l'idea
il tutto sta nel tipo di calcolo che si necessita

probabilmente gli informatici hanno avuto quella necessità e lo hanno implementato così
nella versione python si è voluto essere aderenti ad una certa dimostrazione matematica

come si dice: non si finisce mai di imparare

Edit:
è comunque mia opinione che quelli del python avrebbero dovuto lasciare il calcolo del modulo
come già era in altri linguaggi e magari introdurne un secondo tipo
infatti quello che ci rimane in mano è 1 concetto con 2 metodi di calcolo...

Hi, hi, l'hanno detto anche a me, un fisico, che si è messo a ridere e ha concluso che noi informatici ci inventiamo molto spesso la matematica "per scansare la fatica del ragionamento"

P.S.: Comunque, il fatto che Intel (e penso anche AMD ovviamente) abbia implementato proprio in HARDWARE una istruzione aderente al ragionamento che si addice a noi informatici la dice lunga.

[nomorelogic]

P.S.: Comunque, il fatto che Intel (e penso anche AMD ovviamente) abbia implementato proprio in HARDWARE una istruzione aderente al ragionamento che si addice a noi informatici la dice lunga.

si, diciamo che è una scuola di pensiero radicata 

[DragoRosso]

Per chi vuole, questo è il codice per fare con processori INTEL X64 in tutti i sistemi operativi teoricamente il calcolo tra numeri interi in modo "informatico" (ciò che fà il Pascal con il DIV e il MOD.

Poi farò anche i vari overload per i tipi e per x86.

Codice: [Seleziona]

{$IFDEF CPUX64}
/// <summary> Esegue una divisione per interi fornendo come risultato quoziente e resto </summary>
/// <remarks> Esegue il calcolo da "informatico" stile tutto chiaro !!! </remarks>
function DivandMod(Dividendo: int64; Divisore: int64; var Resto: int64): int64; register;
begin
  {$ASMMODE intel}
  asm
  //Dividendo, in RCX
  //Divisore, in RDX
  //Resto, memoria puntata da R8
  //Risultato (quoziente) in RAX
  mov RAX, RCX
  mov RCX, RDX
  CQO
  //idiv esegue la divisione intera e riporta il quoziente in RAX e in RDX il resto
  idiv RCX
  //SONO EQUIVALENTI LE DUE SUCCESSIVE IN DELPHI, IN LAZARUS NO !!!
  mov QWORD PTR [R8], RDX
  //mov QWORD PTR [Resto], RDX     //SOLO X DELPHI

  end;
end;
{$ENDIF}

procedure TForm1.Button1Click(Sender: TObject);
var quoziente: integer;
    resto: int64;
    Dividendo: int64;
    Divisore: int64;
begin
  Dividendo := 9;
  Divisore := -5;
  resto := 15;
  quoziente := DivandMod(Dividendo, Divisore, resto);
  ShowMessage('Quoziente= '+quoziente.ToString+' Resto= '+resto.ToString);  
end;[/code